Skip to Main content Skip to Navigation
Conference papers

Prototyping and verfication with rules and strategies

Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This talk presents some results obtained at LORIA on prototyping and verification using the ELAN system.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100678
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:49:03 PM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM

Identifiers

  • HAL Id : inria-00100678, version 1

Collections

Citation

Hélène Kirchner. Prototyping and verfication with rules and strategies. Cyber Assist International Symposium, 2001, Tokyo, Japan. ⟨inria-00100678⟩

Share

Metrics

Record views

54