Model Checking Games for Branching Time Logics

DOI10.1093/LOGCOM/12.4.623MaRDI QIDQ3146304zbMATH OpenOpenAlexFDO

Authors Martin Lange, Colin Stirling

Publication date 11 September 2002

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.3186

zbMATH Keywords

branching timemodel checking gamestemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Satisfiability games for branching-time logics
• Game over: the foci approach to LTL satisfiability and model checking
• Branching time? Pruning time!
• Alternating-time temporal logic
• scientific article; zbMATH DE number 1705163

Cited in

(17)

• Pushdown processes: Games and model-checking
• Model checking for hybrid branching-time logics
• Game over: the foci approach to LTL satisfiability and model checking
• Satisfiability games for branching-time logics
• Branching time? Pruning time!
• Two local strategy iteration schemes for parity game solving
• Model-Checking Games for Fixpoint Logics with Partial Order Models
• Model-Checking Timed ATL for Durational Concurrent Game Structures
• Improved model checking of hierarchical systems
• Improved model checking of hierarchical systems
• Bisimulation, modal logic and model checking games
• scientific article; zbMATH DE number 1405445 (Why is no real title available?)
• Model-checking games for fixpoint logics with partial order models
• Model Checking for Action Abstraction
• Model Checking on Trees with Path Equivalences
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Round- and context-bounded control of dynamic pushdown systems

This page was built for publication: Model Checking Games for Branching Time Logics

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