Abstract
Temporal logic is a branch of formal logic which is of particular interest for the specification and verification of concurrent systems including communication services and protocols. This tutorial presents the principles of temporal logic and explains how it can be applied.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have