RealSpec: An Executable Specification Language for Prototyping Concurrent Systems.
Amir A. KhwajaJoseph E. UrbanPublished in: IEEE International Workshop on Rapid System Prototyping (2008)
Keyphrases
- concurrent systems
- specification language
- formal specification
- process algebra
- model checking
- rapid prototyping
- formal methods
- development process
- transition systems
- reverse engineering
- temporal logic
- software environment
- symbolic execution
- model checker
- design process
- database systems
- databases
- requirements specification
- autonomous agents
- high level
- knowledge base