Academic year 2023/24
The course introduces to formal models of computations with a focus on concurrency (both shared-memory and communication-based concurrency). The main topics of the course are operational semantics and (labelled) transition systems, regular expressions, basic process algebras. Preliminary concepts of software verification, typical verification flow, common program analysis techniques, decision procedures. Basic concepts of software modelling and analysis with stochastic processes, discrete-time markov processes, and petri nets.
The topics of the first part are: operational semantics and (labelled) transition systems, regular expressions, basic process algebras.