scientific article; zbMATH DE number 830431

zbMath0849.03011MaRDI QIDQ4860769

No author found.

Publication date: 8 January 1996

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

zbMATH Keywords

Markov chainsformal verificationformal specificationrandom environmentLogictense logictemporal logictemporal reasoninglinear timebranching timeComputational approachTimelogics of programsrelational algebrastime representationtemporal proof systemspartially ordered timeaxiomatizations of time structureseffective proof systemstemporal program verification

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (3)

Branching Time? Pruning Time! ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ Dual systems of tableaux and sequents for PLTL

This page was built for publication: