Pinned Repositories
batcher-in-rust
bythos
Compositional Verification of Composite Byzantine Protocols
ceramist
Verified hash-based AMQ structures in Coq
ego
EGraphs in OCaml
hippodrome
An automatic program repair tool for data races in Java programs.
lean-ssr
LeanSSR: an SSReflect-Like Tactic Language for Lean
obatcher_ds
rem
Contributing the `extract method` refactoring for Rust.
sisyphus
Mostly Automated Proof Repair for Verified Libraries
toychain
A minimalistic blockchain consensus implemented and verified in Coq
Verified Systems Engineering Lab's Repositories
verse-lab/ceramist
Verified hash-based AMQ structures in Coq
verse-lab/toychain
A minimalistic blockchain consensus implemented and verified in Coq
verse-lab/ego
EGraphs in OCaml
verse-lab/lean-ssr
LeanSSR: an SSReflect-Like Tactic Language for Lean
verse-lab/obatcher_ds
verse-lab/bythos
Compositional Verification of Composite Byzantine Protocols
verse-lab/hippodrome
An automatic program repair tool for data races in Java programs.
verse-lab/rem
Contributing the `extract method` refactoring for Rust.
verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
verse-lab/batcher-in-rust
verse-lab/BOPC
Block Oriented Programming -- Compiler
verse-lab/coq-lgtm
Framework for Hyper-safety proofs about structured data
verse-lab/obatcher
Parallel Programming over Domains
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
verse-lab/ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
verse-lab/NUS-Racket
The Racket of NUSketeers on the high seas
verse-lab/NUSketeers-typed-racket
Typed Racket
verse-lab/tlaplus-to-ivy
verse-lab/intellij-rust
Rust plugin for the IntelliJ Platform