On the Adoption of Model Checking in Safety-Related Software Industry.
Alessandro FantechiStefania GnesiPublished in: SAFECOMP (2011)
Keyphrases
- model checking
- software industry
- temporal logic
- formal verification
- temporal properties
- automated verification
- software development
- symbolic model checking
- software engineering
- verification method
- model checker
- bounded model checking
- epistemic logic
- formal specification
- software developers
- timed automata
- computation tree logic
- transition systems
- deterministic finite automaton
- reactive systems
- concurrent systems
- linear temporal logic
- information technology
- planning domains
- knowledge base