Optimizing Slicing of Formal Specifications by Deductive Verification.
Ingo BrücknerBjörn MetzlerHeike WehrheimPublished in: Nord. J. Comput. (2006)
Keyphrases
- formal specification
- model checking
- concurrent systems
- protocol specification
- formal methods
- formal verification
- temporal logic
- object oriented design
- program slicing
- specification languages
- process algebra
- specification language
- reverse engineering
- object oriented
- formal specification language
- asynchronous circuits
- abductive inference
- communication protocols
- software testing
- design methodology
- distributed systems
- general purpose
- real world
- database