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