Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada.
Sandeep MitraLeslie C. LanderThomas F. PiatkowskiPublished in: WADAS (1992)
Keyphrases
- semi automated
- real time
- formal specification
- fully automated
- specification language
- design methodology
- formal specification language
- state space
- general purpose
- software testing
- activity monitoring
- cooperative
- programming language
- model checking
- database
- real world
- formal methods
- graphics processing units
- control system
- specification languages