Skip to Main content Skip to Navigation
Conference papers

Automatic Generation of Invariants for Circular Derivations in SUP(LA)

Arnaud Fietzke 1 Evgeny Kruglov 1 Christoph Weidenbach 1, 2 
1 MPII - Max-Planck-Institut für Informatik
2 VERIDIS - VERIfication pour les systèmes DIStribués
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications : UMR7503
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00760398
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Monday, December 3, 2012 - 7:01:40 PM
Last modification on : Friday, February 4, 2022 - 3:25:12 AM

Identifiers

  • HAL Id : hal-00760398, version 1

Collections

CNRS | INRIA | UNIV-LORRAINE | INRIA2 | LORIA

Citation

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA). 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. pp.197-211. ⟨hal-00760398⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

104

 

Contact                    Legal Notice                    Personal Data