Researchers

2016

Conference papers

titre

Proving Determinacy of the PharOS Real-Time Operating System

auteur

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz

article

Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. Springer, 9675, pp.70-85, 2016, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-33600-8_4>

Accès au texte intégral et bibtex

2014

Conference papers

titre

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

auteur

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

article

Christoph Benzmüller and Jens Otten. Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Aug 2014, Vienna, Austria. 33, pp.1-16, 2015

Accès au texte intégral et bibtex

titre

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

auteur

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

article

ARQNL 2014 - Automated Reasoning in Quantified Non-Classical Logics, Jul 2014, Vienna, Austria. 2014

Accès au texte intégral et bibtex