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
Slides from a lesson on formal methods for software engineering.
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
K-Framework for Blockchain Technology
Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22
Verified code written in the Dafny programming language.
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat
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
A tool for running and analyzing programs written in a variant of the Guarded Command Language
Tool for creating Timed Automata and checking their language emptiness.
Project for CSEEE6863_001_2016_3 - FORMAL VERIF HW SW SYSTEMS
Verified Security of BLT Signature Scheme
Using SeaHorn in Android Studio to check native code
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."