scientific article; zbMATH DE number 1424541

MaRDI QIDQ4945790zbMATH OpenFDO

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

Publication date 7 June 2000

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
• scientific article; zbMATH DE number 176158
• Decision procedures and expressiveness in the temporal logic of branching time
• scientific article; zbMATH DE number 3871318
• scientific article; zbMATH DE number 1536563

Cited in

(4)

• Reasoning About Objects Using a Tableau Method
• scientific article; zbMATH DE number 1341479 (Why is no real title available?)
• A temporal logic approach to object certification
• A tableau for temporal logic over the reals

This page was built for publication:

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