Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

DOI10.1007/978-3-642-12032-9_16zbMath1284.68416MaRDI QIDQ3557854

Leonid O. Libkin, Anthony Widjaja To

Publication date: 27 April 2010

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12032-9_16

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B25: Decidability of theories and sets of sentences

03B44: Temporal logic