Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

B

Bubaak

Project information

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

verification Symbolic exe... invariants Test Generation Model Checking software ver... induction

293 Commits
7 Branches
1 Tag

README
MIT License

Created on

November 26, 2021

Loading