Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 5.5% forks on proxy.golang.org
proxy.golang.org : github.com/go-air/reach
Package reach contains finite state symbolic reachability libraries and tools. All reachability checking in this package and its subpackages uses a sequential circuit in the form of http://godoc.org/github.com/go-air/gini/logic#S to represent a transition relation between state variables. State variables are latches in `S`. The set of initial states is defined by the initial values of latches in `S` and the bad states are defined by a literal in `S`. The root package, reach, is centered around a few data structures to to aid in coordinating checkers. `Output`, which is the output of a checker from analyzing a logic.S and a, or some, bad states. `Result`, which is the result of analysing a single reachability query with one set of bad states represented by a z.Lit in a logic.S. `Primer` which can find `x'` given `x` for latches and properties. `Trace`, which is a trace of a sequential logic system. These are concepts related to coordination of checkers. Various checkers are found in the subpackages of reach.
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/go-air/reach
Keywords: bmc, circuit, go, ic3, model-checking, pdr, safety, simulation, symbolic, verification
License: MIT
Latest release: almost 3 years ago
First release: over 5 years ago
Namespace: github.com/go-air
Stars: 20 on GitHub
Forks: 3 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/go-air
Last synced: 8 days ago