MARCIE - Model Checking and Reachability Analysis Done Efficiently.
Monika HeinerChristian RohrMartin SchwarickPublished in: Petri Nets (2013)
Keyphrases
- reachability analysis
- model checking
- temporal logic
- timed automata
- formal verification
- temporal properties
- markov decision processes
- model checker
- formal specification
- automated verification
- finite state
- verification method
- symbolic model checking
- transition systems
- formal methods
- incremental algorithms
- process algebra
- computation tree logic
- pspace complete
- asynchronous circuits