Model Checking Concurrent Recursive Programs Using Temporal Logics

DOI10.1007/978-3-662-44522-8_37zbMath1425.68263OpenAlexW426411505MaRDI QIDQ2922037

Roy Mennicke

Publication date: 14 October 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_37

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Realizability of concurrent recursive programs ⋮ The complexity of model checking multi-stack systems

This page was built for publication: Model Checking Concurrent Recursive Programs Using Temporal Logics