Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2012

Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs

Abstract

This is a companion paper of "Maximal and Compositional Pattern-Based Loop Invariants", by the same authors, currently accepted under condition to FM 2012. It provides nude definitions and proofs that could not fit in the 15 pages of the original paper.
No file

Dates and versions

hal-01126139 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01126139 , version 1

Cite

Pierre Courtieu, Maria-Virginia Aponte, Marc Sango, Yannick Moy. Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs. [Research Report] CEDRIC-12-2555, CEDRIC Lab/CNAM. 2012. ⟨hal-01126139⟩
30 View
0 Download

Share

Gmail Facebook X LinkedIn More