Ecosyste.ms: Repos

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

GitHub topics: bounded-model-checkin

Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.

Language: C - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

Related Keywords