Chapter 7: Joseph Sifakis: Concurrent Systems Specification and Verification

Professor Joseph Sifakis, http://www-verimag.imag.fr/~sifakis and http://people.epfl.ch/joseph.sifakis is a leading researcher well known for his pioneering work in theoretical and practical aspects of concurrent systems specification and verification, notably the area of model-checking. His current research activities include component-based design, modelling and analysis of real-time systems with focus on correct-by-construction techniques…