João Pereira's starred repositories
verified-storage
Storage systems with verified correctness properties
axiom-profiler-2
The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
disclose-data-dbr-first-then-opendata
My tutorial on disclosing data for double blind peer review and make it archived open data upon acceptance.
verification-class
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
mendel-verifier
Capability-based verifier for safe Rust clients of interior mutability
verified-memory-allocator
A memory allocator verified with Verus
program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra
verified-node-replication
Verified Node-Replication Crate
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
vmi-retreat-workshop-2024
Repository for the VMI Summer Retreat Workshop on Hacking AI Agents