PyRank

Software Verification Python Packages

Python packages with the GitHub topic software-verification. Sorted by relevance, with stars and monthly downloads.
groupsum
ssot-contracts

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

16K 4 0
groupsum
ssot-views

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

15K 4 0
groupsum
ssot-core

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

14K 4 0
groupsum
ssot-cli

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

13K 4 0
groupsum
ssot-registry

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

13K 4 0
groupsum
ssot-codegen

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

7K 4 0
groupsum
ssot-conformance

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

6K 4 0
groupsum
ssot-tui

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

6K 4 0
dynaroars
neuralsat

NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks

887 31 12
model-checking
cbmc-starter-kit

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

850 52 24
thalestas
esbmc-wr

A ESBMC command line wrapper.

159 11 4
polywit
polywit

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

159 4 0
janislley
lsverifier

LSVerifier - Large Systems Verifier

140 12 4