Heuristics for model checking Java programs.
Alex GroceWillem VisserPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- model checking
- java programs
- temporal logic
- model checker
- multi threaded
- test suite
- automated verification
- reachability analysis
- formal verification
- formal specification
- software components
- temporal properties
- formal methods
- bounded model checking
- verification method
- epistemic logic
- symbolic model checking
- transition systems
- search strategies
- computation tree logic
- planning domains
- test cases
- timed automata
- open source
- search algorithm
- test set
- multi agent
- real time