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
Efficient loop conditions for bounded model checking hyperproperties - MaRDI portal

Efficient loop conditions for bounded model checking hyperproperties

From MaRDI portal

Publication:6535341

Jump to:navigation, search

DOI10.1007/978-3-031-30823-9_4zbMath1543.68217MaRDI QIDQ6535341

César Sánchez, Borzoo Bonakdarpour, Tzu-Han Hsu, Sarai Sheinvald

Publication date: 13 December 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Efficient loop conditions for bounded model checking hyperproperties

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