research
∙
03/18/2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
The Coq Platform is a continuously developed distribution of the Coq pro...
share
research
∙
02/25/2022
VLSM: Validating Labelled State Transition and Message Production Systems
In this paper we introduce the notion of a validating labelled state tra...
research
∙
03/01/2021
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Naming conventions are an important concern in large verification projec...
research
∙
10/05/2020
Specification of the Giskard Consensus Protocol
The Giskard consensus protocol is used to validate transactions and comp...
research
∙
06/18/2020
Learning to Format Coq Code Using Language Models
Should the final right bracket in a record declaration be on a separate ...
research
∙
04/16/2020
Deep Generation of Coq Lemma Names Using Elaborated Terms
Coding conventions for naming, spacing, and other essentially stylistic ...
research
∙
03/13/2020
QED at Large: A Survey of Engineering of Formally Verified Software
Development of formal proofs of correctness of programs can increase act...
research
∙
07/11/2019
Towards a Verified Model of the Algorand Consensus Protocol in Coq
The Algorand blockchain is a secure and decentralized public ledger base...
research
∙
12/28/2017