Model checking concurrent recursive programs using temporal logics

DOI10.1007/978-3-662-44522-8_37MaRDI QIDQ2922037zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The Complexity of Model Checking Multi-stack Systems
• The complexity of model checking multi-stack systems
• A Temporal Logic for Multi-threaded Programs
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

Cited in

(6)

• Realizability of concurrent recursive programs
• The complexity of model checking multi-stack systems
• Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
• scientific article; zbMATH DE number 4060695 (Why is no real title available?)
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Model-checking bounded multi-pushdown systems

This page was built for publication: Model checking concurrent recursive programs using temporal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2922037)