State transition assertions: a case study (1994)

View PDF

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

Documents Related by Co-Citation

509 Programming from Specifications – C C Morgan
498 The Science of Programming – D Gries - 1981
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
674 Systematic Software Development Using VDM – C B Jones - 1990
1609 The Temporal Logic of Reactive and Concurrent Systems: Speci┬»cation – Z Manna, A Pnueli - 1992
1535 A Discipline of Programming – E W DIJKSTRA - 1976
1344 The C Programming Language – Dennis M. Ritchie - 1988
610 Assigning meaning to programs – R Floyd - 1967
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992