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

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

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

(17)

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

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)