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
Rethinking static analysis by combining discrete and continuous reasoning - MaRDI portal

Rethinking static analysis by combining discrete and continuous reasoning

From MaRDI portal

Publication:6536275

Jump to:navigation, search

DOI10.1007/978-3-030-32304-2_1zbMath1539.68069MaRDI QIDQ6536275

Publication date: 19 April 2024

zbMATH Keywords

provenance static analysis inductive logic programming constraint solving probabilistic logics alarm ranking

Mathematics Subject Classification ID

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

This page was built for publication: Rethinking static analysis by combining discrete and continuous reasoning

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