Model Checking with Edge-valued Decision Diagrams.
Pierre RouxRadu SiminiceanuPublished in: NASA Formal Methods (2010)
Keyphrases
- model checking
- decision diagrams
- binary decision diagrams
- multi valued
- temporal logic
- temporal properties
- symbolic model checking
- automated verification
- formal verification
- finite state machines
- model checker
- markov decision processes
- digital circuits
- formal specification
- verification method
- formal methods
- bounded model checking
- efficient computation
- transition systems
- computation tree logic
- search algorithm
- undirected graph
- boolean functions
- alternating time temporal logic