The Magic of Specifications and Type Systems
-
Updated
May 20, 2017 - TeX
The Magic of Specifications and Type Systems
Formal specification for a UTxO wallet
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
Next version of TopHat, a Task-Oriented Programming language
The CLEARSY Safety Platform Programming Handbook
Examples for TLAPS (TLA+ Proof System)
Automated Theorem Proving with Extensions of First-Order Logic
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
Paper Notes
Public snapshots of "ACSL by Example"
MSc project on «Formal Verification of Rust with Stainless».
Collection of resources for research concerning Machine Learning and Formal Methods.
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
Research and Development for Cybersecurity Engineering. Our mission is to develop a scientific theory of cybersecurity and a toolchain for the secure engineering of cyber-physical systems.
Proving the correctness and performance of certain parallel algorithms
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."