25 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Alexandru Ioan Cuza UniversityRO1 paper
- Google DeepMind (United Kingdom)GB1 paper
- Imperial College LondonGB1 paper
- KTH Royal Institute of TechnologySE1 paper
- Nethermind (United Kingdom)GB1 paper
- Ruhr University BochumDE1 paper
- University of BucharestRO1 paper
- University of Illinois Urbana-ChampaignUS1 paper
4 papers
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…
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,…
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Musab A. Alturki, Jing Chen, Victor Luchangco +4
The Algorand blockchain is a secure and decentralized public ledger based on pure proof of stake rather than proof of work. At its core it is a novel consensus protocol with exactl…
All-Path Reachability Logic
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta +3
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path r…