scientific article; zbMATH DE number 1424541

zbMath0944.03018MaRDI QIDQ4945790

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

Publication date: 7 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingobject-oriented programmingtableau methodtemporal logic of concurrent objects

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

This page was built for publication: