Executing formal specifications need not be harmful.
Andrew M. GravellPeter HendersonPublished in: Softw. Eng. J. (1996)
Keyphrases
- formal specification
- model checking
- object oriented design
- specification languages
- specification language
- reverse engineering
- process algebra
- formal methods
- concurrent systems
- formal specification language
- general purpose
- temporal logic
- software components
- design methodology
- software testing
- protocol specification
- real world
- building blocks
- semantic data models
- artificial intelligence