Automated Reasoning Building Blocks

Christoph Weidenbach 1, 2
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 MPII - Max-Planck-Institut für Informatik
Document type :
Book sections
Complete list of metadatas
https://hal.inria.fr/hal-01239428
Contributor : Stephan Merz <>
Submitted on : Monday, December 7, 2015 - 5:32:53 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Identifiers

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Christoph Weidenbach. Automated Reasoning Building Blocks. Roland Meyer and André Platzer and Heike Wehrheim. Correct System Design – Symposium in Honor of Ernst-Rüdiger Olderog, 9360, Springer, pp.172-188, 2015, ⟨10.1007/978-3-319-23506-6_12⟩. ⟨hal-01239428⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

167

Contact


archive-ouverte@inria.fr