Static analysis and family-based model checking of featured transition systems with VMC.
Maurice H. ter BeekFranco MazzantiFerruccio DamianiLuca PaoliniGiordano ScarsoMichele ValfrèMichael LienhardtPublished in: SPLC (B) (2021)
Keyphrases
- transition systems
- model checking
- static analysis
- dynamic analysis
- temporal logic
- abstract interpretation
- model checker
- finite state
- concurrent systems
- source code
- formal specification
- formal verification
- regular expressions
- formal methods
- test suite
- reactive systems
- planning domains
- artificial intelligence
- practical reasoning
- integrity constraints
- object oriented