Detail

Languages, Logics, Types and Tools for Concurrent System Modeling

Concurrent systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. They are very difficult to design and implement correctly: many different modeling languages and verification techniques have been devised to reason about them and verifying their correctness.

In the talk, I will present the way I have addressed in my dissertation some of the shortcomings of established models and theories for concurrent systems.
This includes introducing a general modal logic, extending a modelling language, psi-calculi, with types and a more general operation, providing an automated tool support. I will have the talk at a fairly high-level of detail.