Skip to Main content Skip to Navigation
Conference papers

Guiding the Correction of Parameterized Specifications

Jean-François Couchot 1 Frédéric Dadeau 2
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00329977
Contributor : Frédéric Dadeau <>
Submitted on : Monday, October 13, 2008 - 5:14:00 PM
Last modification on : Thursday, November 19, 2020 - 12:59:38 PM

Identifiers

  • HAL Id : inria-00329977, version 1

Collections

CNRS | INRIA | LIG | UGA

Citation

Jean-François Couchot, Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. 6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. ⟨inria-00329977⟩

Share

Metrics

Record views

244