Graded-CTL NuSMV
List of Publications
Papers
-
A. Ferrante, M. Napoli, M. Parente, "CTL Model-Checking with Graded Quantifiers",
in Automated Technology for Verification and Analysis, 6th International Symposium (ATVA'08),
volume 5311 of Lecture Notes in Computer Sciences, pp. 18-32, Springer-Verlag, 2008.
(pdf)
-
A. Ferrante, M. Napoli, M. Parente, "Graded-CTL: Satisfiability and Symbolic Model Checking",
in International Conference on Formal Engineering Methods (ICFEM'09),
volume 5885 of Lecture Notes in Computer Sciences, pp. 306-325, Springer-Verlag, 2009.
(pdf).
-
A. Ferrante, M. Napoli, M. Parente, "Model Checking for Graded-CTL",
in Fundamenta Informaticae,
volume 96(3), pp. 323-339, 2009.
(pdf).
-
A. Ferrante, M. Memoli, M. Napoli, M. Parente, F. Sorrentino, "A NuSMV Extension for Graded-CTL Model Checking",
in 22nd International Conference on Computer Aided Verification (CAV'10),