Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

DOI10.1007/978-3-642-17511-4_3zbMath1253.68218OpenAlexW1516229504MaRDI QIDQ3066089

John P. Gallagher, Gourinath Banda

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://rucforsk.ruc.dk/ws/files/31511034/lpar16.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Unnamed Item ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Unnamed Item

Uses Software

• PHAVer
• HyTech
• Uppaal
• PPL

This page was built for publication: Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation