BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260416T153027Z
UID:Seminar-verification-677@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20190110T133000
DTEND:20190110T143000
SUMMARY:Verification Series
DESCRIPTION:Martin Zimmermann: Linear Temporal Logics beyond LTL\n\nLinear Temporal Logic (LTL) is the most popular specification language for linear-time properties of reactive systems and LTL model checking is nowadays routinely applied in industrial settings. However, LTL suffers from several drawbacks, e.g., its inability to express timing constraints and is limited expressiveness.\n\nIn this introductory talk, I will present an overview of my work on generalisations of LTL overcoming these drawbacks. This includes parameterised logics which are able to express timing constraints, logics with the expressive power of the omega-regular and omega-context-free languages, and logics for expressing hyperproperties, which play an important role in security and privacy.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=677
LOCATION:
END:VEVENT
END:VCALENDAR