Public snapshots of "ACSL by Example"
-
Updated
Jun 17, 2021 - TeX
Public snapshots of "ACSL by Example"
Collection of resources for research concerning Machine Learning and Formal Methods.
Frama-C and WP tutorial
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
Examples for TLAPS (TLA+ Proof System)
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.
Slides and sources for talks on Tree Borrows
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
The CLEARSY Safety Platform Programming Handbook
Proving the correctness and performance of certain parallel algorithms
MSc project on «Formal Verification of Rust with Stainless».
This project is developing a B specification of an Asteroids arcade game, using the B tools Atelier B & ProB
Formal specification for a UTxO wallet
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
Paper Notes
Next version of TopHat, a Task-Oriented Programming language
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."