Enriched MU-Calculi Module Checking
From MaRDI portal
Publication:3535606
DOI10.2168/LMCS-4(3:1)2008zbMath1147.68049OpenAlexW3101497863MaRDI QIDQ3535606
Aniello Murano, Alessandro Ferrante
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-4(3:1)2008
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (13)
Graded modalities in strategy logic ⋮ Ordered multi-stack visibly pushdown automata ⋮ Automata-theoretic decision of timed games ⋮ Reasoning About Strategies ⋮ Unnamed Item ⋮ Reasoning about graded strategy quantifiers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Pushdown module checking ⋮ CTL\(^\ast\) with graded path modalities ⋮ Cycle detection in computation tree logic ⋮ Model-checking graded computation-tree logic with finite path semantics ⋮ Model checking for hybrid branching-time logics
This page was built for publication: Enriched MU-Calculi Module Checking