Study notes of Software Foundations
-
Updated
Aug 29, 2021 - Coq
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
GPS – the global positioning system is the satellite-based navigation system. The satellites send signals over to determine the location and receiver calculates the time for when the signal was broadcasted to provide time information through send, receive, and track. Hence the abstract machine defines all the relevant operands and operations for.
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
Using SeaHorn in Android Studio to check native code
Tool to test automation systems by means of model checking
Specification and formal verification of traffic light control system.
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."