Verification, Model Checking and Abstract Interpretation (Workshop Overview).
Annalisa BossiDennis DamsGilberto FiléElena MarchioriPublished in: ILPS (1997)
Keyphrases
- model checking
- abstract interpretation
- temporal logic
- formal verification
- model checker
- automated verification
- verification method
- formal specification
- epistemic logic
- bounded model checking
- symbolic model checking
- formal methods
- temporal properties
- linear temporal logic
- concurrent systems
- computation tree logic
- transition systems
- asynchronous circuits
- dynamic analysis
- database
- termination analysis
- object oriented
- high level