System Specification and Refinement in Temporal Logic (1995)

Cached

Download Links

by Amir Pnueli
Venue:Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS
Citations:16 - 0 self

Active Bibliography

537 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
806 The Temporal Logic of Actions – Leslie Lamport - 1993
137 Property preserving abstractions for the verification of concurrent systems – Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem - 1995
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
4 Concurrent Systems and Services: Design, Verification and Testing – A. Udaya Shankar - 2005
Formal Justification in Requirements Engineering – Simon Robert Smith - 1996
9 On the Logic of TLA+ – Stephan Merz - 2003
Reasoning about Durations in Metric Temporal Logic – Yassine Lakhneche, Jozef Hooman
50 The Anchored Version of the Temporal Framework – Zohar Manna, Amir Pnueli - 1989
4 Closure Under Stuttering in Temporal Formulas – Dimitrie Octavian Paun - 1999
11 Verification and Specification of Concurrent Programs – Leslie Lamport - 1993
88 Modular Event-Based Systems – Ludger Fiege, Gero Mühl, Felix C. Gärtner - 2006
78 Timed Transition Systems – Thomas Henzinger, Zohar Manna, Amir Pnueli - 1992
6 On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems – Abdelillah Mokkedem, Dominique Méry - 1993
118 A Simple Approach to Specifying Concurrent Systems – Leslie Lamport - 1988
1 Composing and Refining Dense Temporal Logic Specifications – Antonio Cau - 1999
A Dense-Time Temporal Logic with nice Compositionality Properties – Antonio Cau, Willem-Paul de Roever - 1997
17 Specification and Verification of Fault-tolerance, Timing and Scheduling – Zhiming Liu, Mathai Joseph - 1999