Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
Galois RISC-V ISA Formal Tools
A tool for Model Based Testing
Experimental Smart Contracts In Plutus.
Haskell interface to automated theorem provers
Auto-active verification of floating-point programs.
Efficient On-the-Fly Model Checking for LTL and CTL★.
Computer Scientist Master Degree - Thesis Work
A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
Interactive inspection of an execution model
Projeto de Calculo de Programas (cadeira de 2º ano LCC 2021/2022)
Formal verification tool for Solidity
Program Calculation through Formal Verification (University Project)
Fundamentos de la Computación in Liquid Haskell
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."