Asynchronous Extensions of HyperLTL

Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties studied in the literature, including HyperLTL, assume a synchronous semantics and enjoy a decidable model checking problem. In this paper, we...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Authors:	Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Computational complexity Computational modeling Computer science Merging Model checking Security Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!