From Practical CASE to Formal Verification: Software Engineering using Java.
Peter G. ClaytonGardiner S. StilesPublished in: PDPTA (1999)
Keyphrases
- formal verification
- software engineering
- programming language
- model checking
- object oriented
- bounded model checking
- real world
- source code
- program slicing
- symbolic model checking
- software systems
- model checker
- database applications
- automated verification
- software reuse
- lightweight
- case based reasoning
- multi agent systems