Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

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

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01126139 , version 1

Citer

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 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More