Verification of reactive systems using temporal logic with clocks

DOI10.1016/S0304-3975(99)00008-0zbMath0954.68104MaRDI QIDQ1575841

Chuchang Liu, Mehmet A. Orgun

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

temporal logic with clocks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Unified temporal logic ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deriving liveness goals from temporal logic specifications
• A non-standard temporal deductive database system
• Dealing with multiple granularity of time in temporal logic programming
• Real-time logics: Complexity and expressiveness
• A logical characterization of well branching event structures
• Temporal theories as modularisation units for concurrent system specification
• Specifying Concurrent Program Modules
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• “Sometimes” and “not never” revisited
• Formal verification of parallel programs
• A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems

This page was built for publication: Verification of reactive systems using temporal logic with clocks