Model checking error when idle actions are used
under the CheckingTempClk component I saved a property which according to NuSMV fails but should work
(from redmine: issue id 1893, created on 2014-01-21, closed on 2014-01-23)
- Uploads:
under the CheckingTempClk component I saved a property which according to NuSMV fails but should work
(from redmine: issue id 1893, created on 2014-01-21, closed on 2014-01-23)