Formal Verification Using Edge-Valued Binary Decision Diagrams.
Yung-Te LaiMassoud PedramSarma B. K. VrudhulaPublished in: IEEE Trans. Computers (1996)
Keyphrases
- formal verification
- symbolic model checking
- binary decision diagrams
- model checking
- model checker
- automated verification
- temporal logic
- bounded model checking
- variable ordering
- boolean functions
- knowledge discovery
- partial observability
- data structure
- formal specification
- symbolic representation
- knowledge compilation