|
 
|
[CAS12] Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs
Rapport Scientifique : Date de dépot: 2012/05/24, Nb pages 14, (Tech. Rep.: CEDRIC-12-2555)Mots clés: Invariant generation
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.
Equipe:
sys
BibTeX
| @techreport { | |||
| CAS12, | |||
| title | = | "{Maximal and Compositional Pattern-Based Loop Invariants - Definitions and Proofs}", | |
| author | = | "P. Courtieu and M. Aponte and M. Sango and Y. Moy", | |
| number | = | "{CEDRIC-12-2555}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {24-05-2012}, | |
| pages | = | "14", | |
| } | |||
