S
software verification

Projects with this topic

View Bubaak project

Marek Chalupa / Bubaak

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

0

Updated Apr 10, 2026

0 2 1 19

Updated Apr 10, 2026
View SV-Benchmarks project

SoSy-Lab / Benchmarking / SV-Benchmarks

Collection of Verification Tasks

C Java competition benchmark verification verification... SV-COMP software ver... witness

25

Updated Mar 10, 2026

25 68 14 133

Updated Mar 10, 2026
View abstract_interpreter project

NaN / abstract_interpreter

Software project for the Software verification course (UNIPD). It implements an abstract interpreter for a (toy) imperative language

software ver... ocaml abstract int...

0

Updated Mar 24, 2025

0

Updated Mar 24, 2025