Lib.rs

›
#programs #verifying #constructing #api

boogie

An API for constructing and verifying Boogie programs

Owned by David Pearce.

1 unstable release

0.1.0 Dec 9, 2021

#28 in #constructing

MIT/Apache

5KB

Boogie.rs

A Rust API for constructing and verifying Boogie programs.

No runtime deps