Lib.rs

›
#verifying #constructing #programs #api

boogie

An API for constructing and verifying Boogie programs

Owned by Xavier Denis.

1 unstable release

0.1.0 Dec 9, 2021

#32 in #constructing

MIT/Apache

5KB

Boogie.rs

A Rust API for constructing and verifying Boogie programs.

No runtime deps