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
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
Tool to test automation systems by means of model checking
Validation of management plans for multi-component applications
Modeling and formally enforcing role-based access control policies for smart contracts
Moving robot around a maze, developed with B language for final year Formal Methods Module
Demonstration, in Coq, that the Euclidean Algorithm can be efficiently used to compute the greatest common divisor of two numbers
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Temporal Logic for Learning and Detection of Anomalous behaviours
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."