GitHub repository: sbusard/pynusmv
Primary language: C
Created: 2015-09-24T09:25:28Z
Description: PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.