ARC: An Educational Project on 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

   West University of Timisoara

2. Tudor Jebelean

   Johannes Kepler University of Linz

   Affiliation as printed

   University of Linz - Johannes Kepler Universität Linz

3. Erika Ábrahám Aachen RTW Aachen

   RWTH Aachen University

   Affiliation as printed

   RTW Aachen

4. Gábor Kusper

   Eszterhazy Karoly Catholic University

   Affiliation as printed

   Eszterházy Károly University

5. Sorin Stratulat

   VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

   Affiliation as printed

   Modeling and Verification of Distributed Algorithms and Systems

   Proof-oriented development of computer-based systems