Model Checking Games for Branching Time Logics

DOI10.1093/logcom/12.4.623zbMath1001.68077OpenAlexW1976513602MaRDI QIDQ3146304

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

temporal logicbranching timemodel checking games

Mathematics Subject Classification ID

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

Related Items (3)

TWO LOCAL STRATEGY ITERATION SCHEMES FOR PARITY GAME SOLVING ⋮ Model Checking for Action Abstraction ⋮ Model checking for hybrid branching-time logics

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