Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.
Reiner LichteneckerKlaus GotthardtPublished in: SAFECOMP (1997)
Keyphrases
- automated verification
- binary decision diagrams
- model checking
- symbolic model checking
- formal verification
- temporal logic
- automated reasoning
- formal methods
- expert systems
- variable ordering
- knowledge compilation
- modal logic
- planning problems
- machine learning
- graphical models
- general purpose
- probability distribution
- probabilistic model
- artificial intelligence