hyalite
A bounded model checker for an IMP-style imperative language.
Stars
6
Ecosystems:
Rust
No README available, please check again later.