formal-methods
Here are 26 public repositories matching this topic...
-
Updated
Dec 4, 2020 - TeX
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
-
Updated
Sep 4, 2020 - TeX
This project is developing a B specification of an Asteroids arcade game, using the B tools Atelier B & ProB
-
Updated
Feb 4, 2024 - TeX
Formal specification for a UTxO wallet
-
Updated
Nov 9, 2018 - TeX
The CLEARSY Safety Platform Programming Handbook
-
Updated
Mar 30, 2020 - TeX
Next version of TopHat, a Task-Oriented Programming language
-
Updated
Nov 1, 2019 - TeX
Proving the correctness and performance of certain parallel algorithms
-
Updated
Aug 12, 2023 - TeX
MSc project on «Formal Verification of Rust with Stainless».
-
Updated
Aug 18, 2021 - TeX
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.
-
Updated
Aug 9, 2022 - TeX
Slides and sources for talks on Tree Borrows
-
Updated
May 8, 2024 - TeX
The Magic of Specifications and Type Systems
-
Updated
May 20, 2017 - TeX
Formal modelling of GitHub in VDM++ - Software Engineering Formal Methods
-
Updated
Jan 10, 2019 - TeX
Automated Theorem Proving with Extensions of First-Order Logic
-
Updated
Jun 15, 2020 - TeX
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.
-
Updated
Nov 24, 2022 - TeX
[WIP] A formalised proof of a generalised Carleson's Theorem in the Lean proof assistant.
-
Updated
Jul 3, 2024 - TeX
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
-
Updated
Apr 19, 2024 - TeX
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
-
Updated
Nov 18, 2022 - TeX
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
-
Updated
Jul 6, 2024 - TeX
Improve this page
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."