Aim of the research is the improvement of the algorithmic techniques for the solution of the CSLTA stochastic process logic. The main interest is targeted to multi-clock extension of the logic, that require new solution techniques, and the general improvement of the expressiveness of the logic itself, also in terms of graphical modeling of the CSLTA properties. The possibility to extend the research activity also in the improvement of the stochastic logic CSLTA towards simulation with SWN (stochastic well-formed nets) should be considered. In addition, it is on interest the improvement of the symbolic CTL/LTL verification techniques with decision diagrams, applied to formal system verification.
Research Fields
Computer science
Other costs
\
Eligibility criteria
The call (n. rep. 141), the requirements and how to apply are available at the following address: www.serviziweb.unito.it/albo_ateneo/
Selection process
qualifications and interview (in Turin) - Dates and venues of the interviews are published on the website of the University of Turin at the official notice board (https://www.serviziweb.unito.it/albo_ateneo/) by the date of the deadline
1 |
Italy |
All |
All |
https://www.serviziweb.unito.it/albo_ateneo/ |
Early stage researcher or 0-4 yrs (Post graduate) |
Not defined |
yes |
19367 |
euro |
yes |
yes |
yes |
12 |