Research

Our research activity focuses on model checking algorithms and tools for the automatic verification and synthesis of reactive programs via model checking.

Filter
Display # 
Model Checking MAD Distributed Systems 26 November 2012
Automatic Synthesis of Reactive Programs From Formal Specifications 26 November 2012
Model Checking Algorithms for Protocols and Hybrid Systems 26 November 2012
Model Checking of Stochastic Hybrid Systems 26 November 2012
Technology Transfer 26 November 2012