Verifying Asynchronous Hyperproperties in Reactive Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Verifying Asynchronous Hyperproperties in Reactive Systems
Συγγραφείς:	Beutner, Raven, Finkbeiner, Bernd
Πηγή:	Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2227-2253
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3763130
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3763130