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