49 citations · 82 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
Karl Palmskog, Enrico Tassi, Théo Zimmermann
The Coq Platform is a continuously developed distribution of the Coq proof assistant together with commonly used libraries, plugins, and external tools useful in Coq-based formal v…
cs.DC2022★ 1 cited
Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu +7
Modeling and formally reasoning about distributed systems with faults is a challenging task. To address this problem, we propose the theory of Validating Labeled State transition a…