A NuSMV Extension for Graded-CTL Model Checking.

Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino

Browse the full CAV paper archive.