Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

DOI10.1007/978-3-642-22993-0_15zbMath1343.68055OpenAlexW2141500543MaRDI QIDQ3088034

Aiswarya Cyriac, Benedikt Bollig, Paul Gastin, Marc Zeitoun

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_15

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Temporal logics for concurrent recursive programs: satisfiability and model checking, Visibly linear temporal logic