Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools.
Antti JääskeläinenMika KataraShmuel KatzHeikki VirtanenPublished in: SSV (2011)
Keyphrases
- formal methods
- model checking
- safety critical
- model checker
- temporal logic
- automated verification
- safety analysis
- formal specification
- formal verification
- verification method
- symbolic model checking
- finite state machines
- reactive systems
- bounded model checking
- concurrent systems
- asynchronous circuits
- computation tree logic
- embedded systems
- epistemic logic
- artificial intelligence
- real time
- automated reasoning
- petri net
- learning systems
- knowledge based systems
- information systems