CTL Model-Checking with Graded Quantifiers

DOI10.1007/978-3-540-88387-6_4MaRDI QIDQ3540061zbMATH OpenOpenAlexFDO

Authors Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_4

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking for graded CTL
• On CTL* with Graded Path Modalities
• CTL^ with graded path modalities
• Graded Computation Tree Logic with Binary Coding
• Graded computation tree logic

Cites work

• Complexity Results for First-Order Two-Variable Logic with Counting
• Counterexamples revisited: principles, algorithms, applications
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 140398 (Why is no real title available?)
• scientific article; zbMATH DE number 1852164 (Why is no real title available?)
• scientific article; zbMATH DE number 2090317 (Why is no real title available?)
• scientific article; zbMATH DE number 2102731 (Why is no real title available?)
• In so many possible worlds
• Introduction to algorithms
• Packing cycles in undirected graphs
• PSpace reasoning for graded modal logics

Cited in

(6)

• CTL^ with graded path modalities
• Model-checking graded computation-tree logic with finite path semantics
• Model checking for graded CTL
• On CTL* with Graded Path Modalities
• scientific article; zbMATH DE number 2090317 (Why is no real title available?)
• CSL model checking algorithms for QBDs

Describes a project that uses

Uses Software

• SPIN
• NuSMV
• Cadence SMV
• CESAR

This page was built for publication: CTL Model-Checking with Graded Quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540061)