tatsuhirotsuchiya/bounded-model-checker-for-petri-nets

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 at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0