Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

MICAI
2004
Springer

favoriteEmaildiscussreport

85views Artificial Intelligence» more MICAI 2004»

Invariant Patterns for Program Reasoning

13 years 10 months ago

Invariant Patterns for Program Reasoning

Download www.macs.hw.ac.uk

We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns which enable us to associate common patterns of program code and speciﬁcations with invariant schemas. This allows crucial decisions relating to the development of invariants to be delayed until a proof is attempted. Moreover, it allows patterns within the program to be exploited in patching failed proof attempts.

Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen

Real-time Traffic

Artificial Intelligence | Automatic Invariant Generation | Invariant Patterns | Invariant Schemas | MICAI 2004 |

claim paper

Related Content

» Using History Invariants to Verify Observers

» Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

» Quickly detecting relevant program invariants

» Modular reasoning about invariants over shared state with interposed data members

» A Unified Formulation of Invariant Point Pattern Matching

» Considerate Reasoning and the Composite Design Pattern

» Regional Logic for Local Reasoning about Global Invariants

» Reasoning about Object Structures Using Ownership

» DySy dynamic symbolic execution for invariant inference

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	MICAI
Authors	Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen

Comments (0)