A Model Checker for AADL
Abstract elided by the publisher.
Related papers
- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL CAV 2021
- Certifying Model Checkers CAV 2001
- Merit: An Interpolating Model-Checker CAV 2010
- Tuning SAT Checkers for Bounded Model Checking CAV 2000
- The Mec 5 Model-Checker CAV 2004
- Ymer: A Statistical Model Checker CAV 2005
- PARAM: A Model Checker for Parametric Markov Models CAV 2010
- Towards a Certified Petri Net Model-Checker APLAS 2011