LTL Model Checking for Recursive Programs.
Geng-Dian HuangLin-Zan CaiFarn WangPublished in: ATVA (2009)
Keyphrases
- model checking
- recursive programs
- program synthesis
- logic programs
- temporal logic
- transformation rules
- bounded model checking
- linear temporal logic
- finite state
- model checker
- formal specification
- formal verification
- linear time temporal logic
- temporal properties
- automated verification
- symbolic model checking
- transition systems
- verification method
- formal methods
- computation tree logic
- epistemic logic
- alternating time temporal logic
- concurrent systems
- metamodel
- modal logic
- programming language
- software engineering
- knowledge base
- machine learning