REAL92: A combined specification language for real-time concurrent systems and properties Real 92 is a new combined specification language for concurrent processes based on nondeterministic dialect of Specification and Design Language (SDL) and on dynamic version of Computation Tree Logic (CTL), both -- SDL and CTL -- with a real time. The paper includes a survey of syntax and sketch of operational semantics of Real92, specification examples of systems and properties of concurrent communicating real-time processes.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Nepomniaschy, V.; Bodin, E.; Veretnov, S.: The language dynamic-real and its application for verification of SDL-specified distributed systems (2015) ioport
- Nepomniaschy, V. A.; Shilov, N. V.; Bodin, E. V.; Kozura, V. E.: Basic-REAL: Integrated approach for design, specification and verification of distributed systems (2002)
- Nepomnyashij, V.; Shilov, N.: REAL92: A combined specification language for real-time concurrent systems and properties (1993)