porglezomp / hyalite

A bounded model checker for an IMP-style imperative language.

model-checker bounded-model-checking symbolic-execution z3 smt

This repository is not active

About

A bounded model checker for an IMP-style imperative language.

model-checker bounded-model-checking symbolic-execution z3 smt

Languages

Language:Rust 100.0%