Resources

Computer-aided Formal Verification - Michaelmas 2018

Practical Class Resources

• NUSMV Demo
• Spin Demo
• Spin TS1 Source

Posters

IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018, Oxford, UK

• Bayes-Adaptive Search for Data-Efficient Verification of Parametric MDPs
• StocHy: a new tool for the verification and control of stochastic processes
• Bayesian Verification of Chemical Reaction Networks
• Logically-Constrained Reinforcement Learning
• Tropical Abstractions of Max-Plus-Linear Systems