research
∙
05/18/2022
An approach to translating Haskell programs to Agda and reasoning about them
We are using the Agda programming language and proof assistant to formal...
share
research
∙
03/25/2022
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version
LibraBFT is a Byzantine Fault Tolerant (BFT) consensus protocol based on...
research
∙
03/08/2021
