verifast

verifast Public

Research prototype tool for modular formal verification of C and Java programs

Rust 342 62 86 5 Updated Aug 16, 2024

tutorial Public

The VeriFast Tutorial

TeX 4 1 1 0 Updated May 22, 2024

Cap'n Proto for Rust

Rust 0 MIT 229 0 0 Updated Jan 6, 2024

Documentation for VeriFast

1 0 0 0 Updated Oct 29, 2023

Write stream parser in OCaml using ppx extensions

OCaml 0 ISC 1 0 1 Updated Jun 7, 2023

0 3 0 0 Updated May 4, 2023

OCaml and OCaml-based VeriFast dependencies on Windows

Makefile 1 1 1 0 Updated Apr 28, 2023

vfdeps Public

Dependencies for VeriFast

Makefile 1 MIT 1 0 0 Updated Apr 25, 2023

Visual Studio Code extension for running VeriFast

TypeScript 1 2 1 0 Updated Mar 1, 2023

OCaml-based VeriFast dependencies, sans Z3

Makefile 0 1 0 1 Updated Oct 11, 2021

Provide feedback