Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: specification-mining

cdc08x/MINERful

A fast, two-step algorithm for the automated discovery of, and reasoning on, declarative rules of process and system behaviour

Language: Java - Size: 636 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 34 - Forks: 10

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.

Language: Python - Size: 80.8 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 41 - Forks: 6

Related Keywords
specification-mining 2 association-rule-analysis 1 declarative-process-models 1 process-mining 1 rule-extraction 1 dynamic-analysis 1 invariant-generation 1 loop-invariants 1 machine-learning 1 neural-network-verification 1 program-verification 1 symbolic-execution 1