Use BMC for the coverage tests generation
The BMC algorithm is much faster in NuSMV
(from redmine: issue id 802, created on 2012-05-05, closed on 2012-05-10)
The BMC algorithm is much faster in NuSMV
(from redmine: issue id 802, created on 2012-05-05, closed on 2012-05-10)