helcsnewsxd / cbmc-analysis-report Star 2 Code Issues Pull requests Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC) cryptography static-analysis university-project software-engineering formal-verification bounded-model-checking cbmc ctf-writeup famaf Updated Jun 22, 2025 TeX
arey0pushpa / pyZ3 Star 1 Code Issues Pull requests Encoding Vesicle Traffic System in Z3 and CBMC z3 sat-solver constraint-satisfaction smt-solver vts cbmc modelchecking Updated Sep 24, 2019 TeX
helcsnewsxd / software-engineering-ii-subject Star 1 Code Issues Pull requests Theory notes, exercises, and project - Software Engineering II course - Computer Science @ FAMAF (UNC) software-engineering alloy cnf sat cbmc ltsa famaf university-subject Updated Oct 17, 2025 TeX