Python implementations for CryptoVerif – Python library and examples. No longer maintained.
-
Updated
Jun 27, 2021 - Python
Python implementations for CryptoVerif – Python library and examples. No longer maintained.
This project was for a course at TU/e called System Validation. The goal was to create an architecture with parallel components and use formal model checking to evaluate the model. The use case is a simplified EUV wafer stepper from ASML.
Things that are needed for formally verifying a system
Métodos Formales de Desarrollo de Software
Study notes of Software Foundations
Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.
The Supervisionary proof-checking kernel for higher-order logic
In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
Yul to EasyCrypt transpiler
A formal verification approach to the design of a embedded traffic light system.
Countdown for EDA and formal verification conference deadlines
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
exploring the basics of static code analysis for fun
An algorithm to calculate the convex hull of ReLU function for neural network verification.
ELTE - IK, Osztott rendszerek szintezise tetelkidolgozas
Verifier of Random Forests
A Correct-by-Construction Blockchain Protocol Implementation
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."