CTL* model checking for data-aware dynamic systems with arithmetic.
Paolo FelliMarco MontaliSarah WinklerPublished in: CoRR (2022)
Keyphrases
- model checking
- dynamic systems
- temporal logic
- temporal properties
- automated verification
- complex systems
- bounded model checking
- transition systems
- formal specification
- model checker
- cooperative
- pspace complete
- reinforcement learning
- symbolic model checking
- concurrent systems
- timed automata
- modal logic
- dynamical systems
- consistency based diagnosis