bounded-model-checkin
There are 0 repository under bounded-model-checkin topic.
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 0
There are 0 repository under bounded-model-checkin topic.
tatsuhirotsuchiya / bounded-model-checker-for-petri-netsBounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.