JOURNAL ARTICLE
Model Checking Games for Branching Time Logics
Year: 2002 Journal: Journal of Logic and Computation Vol: 12 (4)Pages: 623-639 Publisher: Oxford University Press
Abstract
Journal Article Model Checking Games for Branching Time Logics Get access Martin Lange, Martin Lange Search for other works by this author on: Oxford Academic Google Scholar Colin Stirling Colin Stirling Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 12, Issue 4, August 2002, Pages 623–639, https://doi.org/10.1093/logcom/12.4.623 Published: 01 August 2002
Keywords:
Correctness Model checking Temporal logic Computer science Theoretical computer science Branching (polymer chemistry) Linear temporal logic Computation tree logic Focus (optics) CTL* Algorithm
Metrics
26
Cited By
1.02
FWCI (Field Weighted Citation Impact)
16
Refs
0.72
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Model checking for hybrid branching-time logics
Journal: Journal of Logical and Algebraic Methods in Programming Year: 2018 Vol: 110 Pages: 100427-100427
BOOK-CHAPTER
Temporal Logics for Linear and Branching Time and Model Checking
Intelligent systems reference library Year: 2023 Pages: 231-280
JOURNAL ARTICLE
Satisfiability Games for Branching-Time Logics
Oliver FriedmannMartin LangeMarkus Latte
Journal: Logical Methods in Computer Science Year: 2013 Vol: Volume 9, Issue 4
BOOK-CHAPTER
A New Approach to Bounded Model Checking for Branching Time Logics
Lecture notes in computer science Year: 2007 Pages: 410-424