cbmc

Here are 3 public repositories matching this topic...

Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)

Encoding Vesicle Traffic System in Z3 and CBMC

z3 sat-solver constraint-satisfaction smt-solver vts cbmc modelchecking

Theory notes, exercises, and project - Software Engineering II course - Computer Science @ FAMAF (UNC)

software-engineering alloy cnf sat cbmc ltsa famaf university-subject

Add a description, image, and links to the cbmc topic page so that developers can more easily learn about it.

To associate your repository with the cbmc topic, visit your repo's landing page and select "manage topics."