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 2018Show all

1 paper · 1 filter

cs.PL2018★ 2 cited

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…