Constructive Finite Trace Analysis with Linear Temporal Logic

DOI10.1007/978-3-642-30473-6_11zbMath1354.68180OpenAlexW73709024MaRDI QIDQ2900185

Axel Zechner, Martin Sulzmann

Publication date: 20 July 2012

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30473-6_11

Mathematics Subject Classification ID

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

Related Items

Finite-trace linear temporal logic: coinductive completeness