CTL Model Checking with the Sweep-line State Space Exploration Method.
Andreas LilleskareLars Michael KristensenSven-Olai HøylandPublished in: NIK (2017)
Keyphrases
- model checking
- temporal logic
- space exploration
- verification method
- temporal properties
- bounded model checking
- finite state machines
- computational complexity
- symbolic model checking
- formal verification
- state space
- binary decision diagrams
- description language
- finite state
- dynamic programming
- linear temporal logic
- knowledge base