Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
Image document

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

Bettina Braitling , Ralf Wimmer , Bernd Becker , Nils Jansen , Erika Ábrahám
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.75-89, ⟨10.1007/978-3-642-21461-5_5⟩
Conference papers hal-01583324v1

Formal Techniques for Distributed Objects, Components, and Systems

Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1
Image document

ARC: An Educational Project on Automated Reasoning in the Class

Isabela Drămnesc , Tudor Jebelean , Erika Ábrahám , Gábor Kusper , Sorin Stratulat
EdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers hal-03900003v1