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