REAL92

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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 3 articles , 1 standard article )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Nepomniaschy, V.; Bodin, E.; Veretnov, S.: The language dynamic-real and its application for verification of SDL-specified distributed systems (2015) ioport
  2. 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)
  3. Nepomnyashij, V.; Shilov, N.: REAL92: A combined specification language for real-time concurrent systems and properties (1993)