Experiments for FM 2011 Submissions
Paper 16: Developing a Model Checker for Probabilistic Real-time Hierarchical Systems
Paper 23: Compositional Partial Order Reduction for Concurrent Systems
Paper 40: Building Model Checkers Made Easy
Paper 58: Formal Modeling and Verification of Ambient Intelligent System for Elderly Dementia Healthcare
Paper 61: Automated Verifying Anonymity and Privacy Properties of Security Protocols
Paper 101: On Combining State Space Reductions with Global Fairness Assumptions