Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On verifying timed hyperproperties - MaRDI portal

On verifying timed hyperproperties

From MaRDI portal

Publication:6487563

Jump to:navigation, search

DOI10.4230/lipics.time.2019.20zbMath1515.68182MaRDI QIDQ6487563

Timothy M. Jones, Ruoyu Zhou, Hsi-Ming Ho

Publication date: 3 February 2023

zbMATH Keywords

timed automata temporal logics cybersecurity

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: On verifying timed hyperproperties

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6487563&oldid=37945700"