יום ראשון, 24.1.2021, 15:30
Zoom Lecture: for link to zoom please contact goudsmidohad@cs.technion.ac.il
Hyperproperties lift conventional trace properties in a way that describes how a system behaves in its entirety, and not just based on its individual traces. We generalize this notion to multi-properties, which describe the behavior of a set of systems, called a multi-model. We show ...
[לנוסח המלא]