counterexample-minimizer

Here are 3 public repositories matching this topic...

A static-and-dynamic analyzer that bounds floating-point expressions with interval and affine arithmetic and searches for unstable regions.

A verifier that computes effective reachability and minimal counterexamples across layered firewall, service-mesh, and application policies.

A bounded model explorer that finds minimal counterexamples to student conjectures and links them to proof obligations.

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