Public snapshots of "ACSL by Example"
-
Updated
May 19, 2025 - TeX
#
formal-verification
Here are 36 public repositories matching this topic...
Collection of resources for research concerning Machine Learning and Formal Methods.
-
Updated
Dec 21, 2021 - TeX
Frama-C and WP tutorial
-
Updated
Apr 9, 2025 - TeX
LazySets.jl article for the JuliaCon 2021 Conference Proceedings
-
Updated
Jan 28, 2022 - TeX
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
model-checking formal-methods formal-verification risc-v nusmv smv information-flow-control nuxmv information-flow-tracking
-
Updated
Sep 4, 2020 - TeX
Proving the correctness and performance of certain parallel algorithms
-
Updated
Aug 12, 2023 - TeX
A repository for research contests spanning topics from hardware security and embedded/VLSI machine learning to electronic design automation, bio design automation, and formal verification.
eda benchmarks formal-verification contests hardware-security bio-design-automation bda electronic-design-automation vlsi-machine-learning embedded-machine-learning
-
Updated
Apr 29, 2021 - TeX
my PhD dissertation: Foreign Function Verification Through Metaprogramming
-
Updated
Oct 11, 2024 - TeX
Theoretical and practical introduction to the Tamarin Prover through a real-world case study on the Needham Schroeder protocol
-
Updated
Jul 1, 2024 - TeX
A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
functional-programming blockchain distributed-computing formal-verification process-calculus higher-order-abstract-syntax
-
Updated
Dec 5, 2019 - 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.
logic first-order-logic formal-methods formal-verification z formal-specification z-notations equational-reasoning z-notation proof-systems equational-logic
-
Updated
Aug 9, 2022 - TeX
Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)
cryptography static-analysis university-project software-engineering formal-verification bounded-model-checking cbmc ctf-writeup famaf
-
Updated
Jun 22, 2025 - TeX
Az ELTE IK Programtervező Informatikus MSc. képzésén az Osztott rendszerek szintézise c. tárgy konzultációjához tartozó jegyzet
-
Updated
May 21, 2018 - TeX
MSc project on «Formal Verification of Rust with Stainless».
-
Updated
Aug 18, 2021 - TeX
AK-HDPST resolves BHIP by reinterpreting information loss as a structural typing failure — not as a violation of physics, but as the breakdown of projectability across a categorical boundary.
type-theory category-theory formal-verification persistent-homology quantum-gravity collapse-theory ak-theory black-hole-information-paradox entropy-and-information functorial-projection
-
Updated
Jul 18, 2025 - TeX
Specification and verification of the REDFIN sequencer
-
Updated
Dec 14, 2020 - TeX
Jupiter Refinement Project
-
Updated
Nov 23, 2020 - TeX
A formal verification approach to the design of a embedded traffic light system.
-
Updated
Jun 15, 2016 - TeX
Formal Verification of Security Protocols
-
Updated
Jul 16, 2020 - TeX
A formal definition of a language accompanied by proofs of its properties.
-
Updated
Feb 11, 2024 - TeX
Improve this page
Add a description, image, and links to the formal-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-verification topic, visit your repo's landing page and select "manage topics."