Integration of Semantical Verification Conditions in a Specification Language Definition.
Didier BertChristine LafontainePublished in: AMAST (1991)
Keyphrases
- specification language
- symbolic execution
- formal specification
- programming language
- description language
- model checker
- software environment
- model checking
- sufficient conditions
- formal methods
- requirements specification
- database
- formal verification
- orders of magnitude
- software engineering
- multi agent systems
- cooperative
- real world