TRIO: A logic language for executable specifications of real-time systems.
Carlo GhezziDino MandrioliAngelo MorzentiPublished in: J. Syst. Softw. (1990)
Keyphrases
- real time systems
- formal language
- specification language
- formal specification
- operational semantics
- delay insensitive
- object oriented programming language
- attribute grammars
- order sorted
- embedded real time systems
- real time
- embedded systems
- formal descriptions
- model checker
- reactive systems
- asynchronous circuits
- distributed systems
- natural language
- logic programming
- programming language
- mission critical
- predicate logic
- control flow
- model checking
- high level
- timing constraints
- architectural model
- real time database systems
- linear temporal logic
- real time embedded
- modeling language
- anytime algorithms
- recursive programs
- formal methods