https://github.com/porglezomp/hyalite

A bounded model checker for an IMP-style imperative language.
https://github.com/porglezomp/hyalite

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

Last synced: 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/porglezomp/hyalite
• Owner: porglezomp
• Created: 2019-02-23T10:41:02.000Z (almost 6 years ago)
• Default Branch: develop
• Last Pushed: 2019-02-23T10:46:39.000Z (almost 6 years ago)
• Last Synced: 2024-10-11T03:17:53.336Z (3 months ago)
• Topics: bounded-model-checking, model-checker, smt, symbolic-execution, z3
• Language: Rust
• Size: 10.7 KB
• Stars: 7
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project