Applications of Model Checking

10 dezembro 2015, 15:00 • Paulo Alexandre Carreira Mateus

Applications of Model Checking to the verification of concurrent and distributed systems. Fairness. Critical section, mutual exclusion. Consumers/producers problem. Channels. The dinning philosopher problem and the Byzantine agreement problem. Statement of impossibility results.