Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

DOI10.1007/978-3-642-22993-0_15MaRDI QIDQ3088034zbMATH OpenOpenAlexFDO

Authors Benedikt Bollig, Aiswarya Cyriac, 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

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

Recommendations

• Temporal logics for concurrent recursive programs: satisfiability and model checking
• Model checking concurrent recursive programs using temporal logics
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 4081518
• scientific article; zbMATH DE number 4119598
• Model-checking timed temporal logics
• scientific article; zbMATH DE number 1536567
• scientific article; zbMATH DE number 2196601

Cited in

(18)

• Realizability of concurrent recursive programs
• Loop-check specification for a sequent calculus of temporal logic
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Verification of concurrent programs: The automata-theoretic framework
• Restrictions for loop-check in sequent calculus for temporal logic
• A Temporal Logic for Multi-threaded Programs
• Model checking concurrent recursive programs using temporal logics
• Realizability of Concurrent Recursive Programs
• Temporal reasoning for procedural programs
• scientific article; zbMATH DE number 4056983 (Why is no real title available?)
• scientific article; zbMATH DE number 4060695 (Why is no real title available?)
• scientific article; zbMATH DE number 4081518 (Why is no real title available?)
• scientific article; zbMATH DE number 15894 (Why is no real title available?)
• Temporal logics for concurrent recursive programs: satisfiability and model checking
• scientific article; zbMATH DE number 4119598 (Why is no real title available?)
• scientific article; zbMATH DE number 7311251 (Why is no real title available?)
• Visibly linear temporal logic
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems

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

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