There are 0 repository under bounded-model-checkin topic.
Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.