TRIO: A logic language for executable specifications of real-time systems

The Journal of Systems and Software

Volumn 12, Issue 2, 1990, Pages 107-123

  Ghezzi, Carlo ^a   Mandrioli, Dino ^a   Morzenti, Angelo ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--LOGIC PROGRAMMING; COMPUTER SYSTEMS, DIGITAL--REAL TIME OPERATION;

FORMAL DECLARATIVE SEMANTICS; TRIO FORMAL SPECIFICATION LANGUAGE;

AUTOMATA THEORY;

EID: 0025421619     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(90)90074-V     Document Type: Article

References (17)

1. Towards a Discipline in Real-Time Programming
2. RT-ASLAN: A Specification Language for Real-Time Systems
3. Safety Analysis of Timing Properties of Real-Time Systems
4. The Specification of Real-Time Systems: Proposal of a Logical Formalism
5. The temporal semantics of concurrent programs
6. Temporal Logic of Programs
7. Examples of a Real-time Temporal Logic Specification
8. Specifying Message Passing and Real-Time Systems with Real-Time Temporal Logic
9. Up and Down The Temporal Way
10. Reasoning on Formal Requirements: A Lift Control System
11. On Eclecticism in Specifications: A Case Study Centered around Petri Nets
12. On the Specification of Real-Time Systems Using Logic Programming
13. Proving Precedence Properties: The Temporal Way