Decision procedure for temporal logic of concurrent objects

DOI10.1007/3-540-48311-X_190MaRDI QIDQ4945790zbMATH OpenFDO

Authors Jean-Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar

Publication date 7 June 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48311-X_190

zbMATH Keywords

model checkingobject-oriented programmingtableau methodtemporal logic of concurrent objects

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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

• A decidable temporal logic of parallelism
• scientific article; zbMATH DE number 2215770
• scientific article; zbMATH DE number 4085006
• scientific article; zbMATH DE number 1569132
• Extending temporal logic by explicit concurrency
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 3871318
• A decision procedure for a temporal belief logic

Cited in

(4)

• Reasoning About Objects Using a Tableau Method
• A tableau calculus for a temporal logic with temporal connectives
• A temporal logic approach to object certification
• A tableau for temporal logic over the reals

This page was built for publication: Decision procedure for temporal logic of concurrent objects

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