A Model Checker for AADL.
Marco BozzanoAlessandro CimattiJoost-Pieter KatoenViet Yen NguyenThomas NollMarco RoveriRalf WimmerPublished in: CAV (2010)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- test suite
- test cases
- description language
- temporal logic
- formal specification
- set theory
- symbolic model checking
- ai planning
- specification language
- planning domains
- binary decision diagrams
- software testing
- software architecture
- object oriented
- knowledge representation
- reinforcement learning
- high level