Model Checking Quantified Computation Tree Logic

DOI10.1007/11817949_8zbMath1151.68489OpenAlexW2169019491MaRDI QIDQ5756604

Arend Rensink

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11817949_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Explicit State Model Checking for Graph Grammars

Uses Software

• SPIN
• Bandera
• GROOVE

This page was built for publication: Model Checking Quantified Computation Tree Logic