|
Location: TU Wien, FAV Hörsaal 1, Favoritenstraße 9-11, 1040 Wien
|
Sat, 6. Jul (Opening: 9:30) - Sun, 7. Jul 24
|
|
Topics:
Hyperproperties are a general framework to reason about properties requiring comparing multiple system executions, like security properties or robustness requirements. In this workshop, we want to bring together practitioners from different backgrounds with theoreticians developing frameworks for specifying hyperproperties.
This workshop will focus on the recent developments in hyperproperties verification over systems in which executions are not aligned, called asynchronous hyperproperties. The workshop format will emphasise open discussions and promote the interchange of ideas between different communities.
|
Organisation(s)
ISTA
TU Wien
WPI |
Organiser(s)
Ana Oliveira da Costa (ISTA)
Thomas Henzinger (ISTA)
Laura Kovács (WPI c/o TU Wien)
César Sánchez (IMDEA, Spain)
Borzoo Bonakdarpour (MSU, USA)
|
|