Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM.
Valery A. NepomniaschyA. A. SulimovPublished in: DISCO (1993)
Keyphrases
- formal verification
- symbolic execution
- model checking
- formal specification
- hardware designs
- specification language
- control program
- formal methods
- colored petri nets
- concurrent systems
- control flow
- practical experience
- early vision
- protocol specification
- modelling language
- database
- static analysis
- computer programs
- learning community
- case study