Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

DOI10.1007/978-3-642-22993-0_15zbMATH Open1343.68055OpenAlexW2141500543MaRDI QIDQ3088034FDOQ3088034

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

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

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)

Cited In (17)

• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Visibly linear temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)