State transition assertions: a case study (1994)

Cached

Download Links

by Michael J. C. Gordon
Venue:JONATHAN P. BOWEN (EDITOR), TOWARDS VERIFIED SYSTEMS, REAL-TIME SAFETY CRITICAL SYSTEMS SERIES
Citations:3 - 1 self

Active Bibliography

3 Towards Verified Systems – Jonathan Bowen (ed.) - 1993
540 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1142 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
1096 Proof-Carrying Code – George C. Necula - 1997
544 Dynamically Discovering Likely Program Invariants to Support Program Evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin
926 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
565 Applying design by contract – Bertrand Meyer - 1992
806 The Temporal Logic of Actions – Leslie Lamport - 1993
481 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000