Specifying Parameterized Systems in First-Order Temporal Logic

29^th January 2020, 13:00
George Kourtis

Abstract

George will describe a framework based on monodic first-order temporal logic for the specification of parameterized systems (i.e. systems with an arbitrary number of identical components).