Software Verification Python Packages

ssot-cli

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

19K 5 0

ssot-conformance

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

19K 5 0

ssot-contracts

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

16K 5 0

ssot-views

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

16K 5 0

ssot-core

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

15K 5 0

ssot-registry

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

14K 5 0

ssot-pack-contracts

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

10K 5 0

ssot-tui

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

5K 5 0

ssot-codegen

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

5K 5 0

ssot-mcp

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

4K 5 0

neuralsat

A neural network verification tool based on the DPLL(T) SMT Solving algorithm.

722 34 12

cbmc-starter-kit

The CBMC starter kit makes it easy to add CBMC verification to a software project.

620 54 24

esbmc-wr

LSVerifier - Large Systems Verifier

197 12 4

polywit

🌍 A poly-language execution-based violation-witness validator

170 4 0

lsverifier

LSVerifier - Large Systems Verifier

131 12 4