This package contains classes for running the NuSMV tool and collecting the result.