Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / dynaroars / dig
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dynaroars%2Fdig
Stars: 34
Forks: 6
Open Issues: 5
License: mit
Language: Python
Repo Size: 80.6 MB
Dependencies:
0
Created: about 5 years ago
Updated: 3 days ago
Last pushed: 3 days ago
Last synced: 3 days ago
Topics: dynamic-analysis, invariant-generation, loop-invariants, machine-learning, neural-network-verification, program-verification, specification-mining, symbolic-execution
Files
No dependencies found