Temporal logic and applications—a tutorial

DOI10.1016/0169-7552(92)90109-4zbMath0767.68042OpenAlexW2062934926MaRDI QIDQ4017600

R. Gotzhein

Publication date: 16 January 1993

Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-7552(92)90109-4

zbMATH Keywords

verificationconcurrent systemsmodel-checkingspecificationlinear timebranching timeprotocolsinterval logicunreliable systemscommunication service

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Interpreting message flow graphs ⋮ Temporal normal form for Linear Temporal Logic formulae1 ⋮ Design and analysis of dynamic leader election protocols in broadcast networks ⋮ Guaranteed global performance through local coordinations

This page was built for publication: Temporal logic and applications—a tutorial