Exercises and project for Programming Language Seminar course at ITU
-
Updated
Jun 3, 2018 - Coq
Exercises and project for Programming Language Seminar course at ITU
Proof of correctness of the Jeltsch–Firsov order maintenance algorithm
Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping
The repo presents the approaches to model human errors within protocol verification
Study notes of Software Foundations
Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.
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
exploring the basics of static code analysis for fun
ELTE - IK, Osztott rendszerek szintezise tetelkidolgozas
Verifier of Random Forests
Rewriting Algorithm for Time Window Temporal Logic
An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year
Code and projects developed in the MFES subject throughout the semester (MIEIC 4th year, 1st semester).
DPLLT fot SMT problems using CDCL, BCP & DLIS. Provided with TQ & UF theories
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."