bymc

Paper at VMCAI’17

Our paper “Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms” is accepted at VMCAI’17

Continue reading

Invited talk at the Vericlub seminar

Igor Konnov gave an invited talk “Model Checking of Threshold-guarded Distributed Algorithms: Beyond Reachability” at the Vericlub seminar organized by Bertrand Meyer in Toulouse.

Continue reading

Artifact evaluation at POPL’17

Our artifact at POPL’17 has met the expectations of the evaluation committee (with the scores: exceeds expectations (1) + meets expectations (1)). We will upload the virtual machine soon.

Continue reading

Our paper at POPL’17

Our paper on “A Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed Algorithms” has been accepted to POPL 2017! Check the draft at arXiv.

Continue reading

Questions answered by Leslie Lamport

Leslie Lamport is going to answer questions about a Mathematical View of Computer Systems in Informatikhörsaal on Tuesday at 6pm. Check the announcement at the VCLA website and do not forget to watch the lecture beforehand.

Continue reading

FRIDA 2016 in Marocco

We had nice talks at the workshop on Formal Reasoning in Distributed Algorithms (FRIDA) this year. Look at the workshop web page.

Continue reading

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive