Sciweavers

Share
CAV
2010
Springer
282views Hardware» more  CAV 2010»
9 years 9 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quanti´Čüers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
books