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
Low-level reachability analysis based on formal logic - MaRDI portal

Low-level reachability analysis based on formal logic

From MaRDI portal

Publication:6535328

Jump to:navigation, search

DOI10.1007/978-3-031-38828-6_2zbMath1541.6811MaRDI QIDQ6535328

Marc Schoolderman, Binoy Ravindran, Freek Verbeek, Nico Naus

Publication date: 12 December 2023

zbMATH Keywords

formal verification formal methods reachability analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Low-level reachability analysis based on formal logic

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