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