Combining Static Analysis and Model Checking for Software Analysis.
Guillaume P. BratWillem VisserPublished in: ASE (2001)
Keyphrases
- static analysis
- dynamic analysis
- abstract interpretation
- model checking
- source code
- reverse engineering
- temporal logic
- regular expressions
- formal verification
- automated verification
- model checker
- software systems
- pattern matching
- open source
- knowledge base
- software engineering
- training data
- process algebra
- timed automata
- reachability analysis
- termination analysis
- high level