REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties.
Valery A. NepomniaschyNikolay V. ShilovPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- specification language
- concurrent systems
- formal specification
- real time
- process algebra
- model checking
- description language
- programming language
- temporal logic
- reverse engineering
- requirements specification
- symbolic execution
- distributed systems
- model checker
- case study
- software components
- petri net
- machine learning