a collection of benchmarks for VDM-SL interpreters/code generators
-
Updated
Jun 12, 2020
a collection of benchmarks for VDM-SL interpreters/code generators
A sudoku solver web service utilizing SMT/ILP solver Inez
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
Slides from a lesson on formal methods for software engineering.
Concept of Python-based Formal Verification Framework
Formal verification in Isabelle(HOL) of a sequential set-based algorithm for computing SCCs
K-Framework for Blockchain Technology
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22
Verified code written in the Dafny programming language.
The repository containing Coq proofs attached to my master's thesis - Formal foundations for Generalized Algebraic Data Types in Scala
Verifying AbC specifications via emulation
Alloy analyser running in gitpod.io
Design by contract extension to Java using annotations and bytecode injection
Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
IML (Intermediate Modeling Language) is a formal, expressive, and flexible language that designed to close the gap between design domain and formal verification tools.
A tool for running and analyzing programs written in a variant of the Guarded Command Language
Rust frontend for LiSA
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."