Model Checking for Graded CTL

DOI10.3233/FI-2009-181zbMath1213.68375MaRDI QIDQ3400570

Margherita Napoli, Alessandro Ferrante

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

Computational Tree Logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Reasoning about graded strategy quantifiers ⋮ CTL\(^\ast\) with graded path modalities ⋮ Model-checking graded computation-tree logic with finite path semantics

This page was built for publication: Model Checking for Graded CTL