Refining Model Checking by Abstract Interpretation.
Patrick CousotRadhia CousotPublished in: Autom. Softw. Eng. (1999)
Keyphrases
- abstract interpretation
- model checking
- temporal logic
- formal verification
- model checker
- formal specification
- automated verification
- termination analysis
- formal methods
- temporal properties
- epistemic logic
- computation tree logic
- symbolic model checking
- timed automata
- transition systems
- bounded model checking
- dynamic analysis
- verification method
- reasoning engine
- data model
- static analysis
- active rules
- business processes