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 - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Communication dans un congrès
Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. Springer, 7180, pp.197-211, 2012, LNCS
Liste complète des métadonnées
https://hal.inria.fr/hal-00760398
Contributeur : Stephan Merz <>
Soumis le : lundi 3 décembre 2012 - 19:01:40
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02

Identifiants

  • HAL Id : hal-00760398, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach. Automatic Generation of Invariants for Circular Derivations in SUP(LA). Nikolaj Bjørner and Andrei Voronkov. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Mar 2012, Mérida, Venezuela. Springer, 7180, pp.197-211, 2012, LNCS. 〈hal-00760398〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

182

Contact


archive-ouverte@inria.fr