Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
-
Updated
Feb 4, 2022 - Haskell
Legacy code connected to the high-assurance implementation of the Ouroboros protocol family
A tool for Model Based Testing
Experimental Smart Contracts In Plutus.
Galois RISC-V ISA Formal Tools
Auto-active verification of floating-point programs.
Formal verification tool for Solidity
Computer Scientist Master Degree - Thesis Work
Projeto de Calculo de Programas (cadeira de 2º ano LCC 2021/2022)
Interactive inspection of an execution model
Program Calculation through Formal Verification (University Project)
Efficient On-the-Fly Model Checking for LTL and CTL★.
Haskell interface to automated theorem provers
Fundamentos de la Computación in Liquid Haskell
A tool to translate the XML representation of Sequential Function Chart to its corresponding KeYmaera hybrid program
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."