Automated Reasoning in the Class

HAL (Le Centre pour la Communication Scientifique Directe)

Abstract

International audience

Authors 5

1. Isabela Drămnesc

   West University of Timişoara

   Affiliation as printed

   UVT - Universitatea de Vest din Timișoara [România] = West University of Timișoara [Romania] = Université Ouest de Timișoara [Roumanie] (Blvd Varsile Parvan 4, Timisoara 300223, Timis - Romania)

2. Erika Ábrahám Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen - RWTH Aachen University = Rheinisch-Westfälische Technische Hochschule Aachen (RWTH Aachen – Templergraben 55 – 52062 Aachen (Hausanschrift) – 52056 Aachen (Postanschrift) – Deutschland - Germany)

   RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH Aachen Templergraben 55 52062 Aachen (Hausanschrift) 52056 Aachen (Postanschrift) - Germany)

3. Tudor Jebelean

   Johannes Kepler University of Linz

   Affiliation as printed

   JKU - University of Linz - Johannes Kepler Universität Linz (Altenberger Straße 69 4040 Linz, Austria - Austria)

4. Gábor Kusper

   Eszterhazy Karoly Catholic University

   Affiliation as printed

   Eszterházy Károly Katolikus Egyetem [Eger, Hungary] = Eszterházy Károly University = Université Eszterházy Károly (Eger - Hungary)

5. Sorin Stratulat

   VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

   Affiliation as printed

   MOSEL - Proof-oriented development of computer-based systems (France)

   VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)