A Temporal Logic for Multi-threaded Programs

DOI10.1007/978-3-642-33475-7_16zbMath1362.68051OpenAlexW2145494365MaRDI QIDQ2915173

Margherita Napoli, Salvatore La Torre

Publication date: 21 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) 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 (6)

A Branching Time Variant of CaRet ⋮ The complexity of model checking multi-stack systems ⋮ Reachability of scope-bounded multistack pushdown systems ⋮ Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete ⋮ Visibly pushdown modular games ⋮ On the path-width of integer linear programming

This page was built for publication: A Temporal Logic for Multi-threaded Programs