Temporal logic and applications—a tutorial

DOI10.1016/0169-7552(92)90109-4zbMATH Open0767.68042OpenAlexW2062934926MaRDI QIDQ4017600FDOQ4017600

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

Recommendations

• Temporal and dynamic logic
• Temporal logic and state systems
• scientific article
• scientific article; zbMATH DE number 3982506
• scientific article; zbMATH DE number 3876567

zbMATH Keywords

verificationspecificationlinear timeprotocolsbranching timemodel-checkinginterval logicconcurrent systemsunreliable 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)

Cited In (13)

• Title not available (Why is that?)
• Interpreting message flow graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal Logic with Capacity Constraints
• Guaranteed global performance through local coordinations
• Title not available (Why is that?)
• Temporal normal form for Linear Temporal Logic formulae1
• Title not available (Why is that?)
• Design and analysis of dynamic leader election protocols in broadcast networks
• Title not available (Why is that?)
• An Extended Temporal Logic for CSCW

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

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