On the Automatic Discovery of Loop Invariants (1997)

by Andrew Ireland , Jamie Stark
Citations:12 - 4 self

Active Bibliography

815 The Temporal Logic of Actions – Leslie Lamport - 1993
An Integrated Approach to Program Reasoning – Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
1111 Proof-Carrying Code – George C. Necula - 1997
18 Invariant Discovery via Failed Proof Attempts – Jamie Stark, Andrew Ireland - 1998
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969