Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.
Stefan KowalewskiAnna PhilippouJörg BrauerPublished in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
- building blocks
- abstract interpretation
- selected papers
- model checking
- temporal logic
- international workshop
- termination analysis
- formal verification
- static analysis
- temporal properties
- automated verification
- computer science
- formal specification
- model checker
- dynamic analysis
- software components
- verification method
- reasoning engine
- epistemic logic
- formal methods
- symbolic model checking
- databases
- transition systems
- active databases
- machine learning
- active rules
- xml documents
- bounded model checking
- computation tree logic
- object oriented
- multi agent systems
- web services
- artificial intelligence
- database