output
20182023
most citedTowards a Verified Model of the Algorand Consensus Protocol in Coq

25 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2023

Asynchronous Muddy Children Puzzle (work in progress)

Dafina Trufaş, Ioan Teodorescu, Denisa Diaconescu +2

In this work-in-progress paper we explore using the recently introduced VLSM formalism to define and reason about the dynamics of agent-based systems. To this aim we use VLSMs to f…

cs.LO2022★ 2 cited

Exact Separation Logic (Extended Version)

Petar Maksimović, Caroline Cronjäger, Andreas Lööw +2

Over-approximating (OX) program logics, such as separation logic (SL), are used for verifying properties of heap-manipulating programs: all terminating behaviour is characterised,…