Academic Journal
View in EDS

Verifying Asynchronous Hyperproperties in Reactive Systems

Bibliographic Details
Title: Verifying Asynchronous Hyperproperties in Reactive Systems
Authors: Beutner, Raven, Finkbeiner, Bernd
Source: Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2227-2253
Availability: http://dl.acm.org/doi/10.1145/3763130
Database: ACM Full-Text Collection
Description
ISSN:24751421
DOI:10.1145/3763130