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
STLInspector: STL validation with guarantees - MaRDI portal

STLInspector: STL validation with guarantees

From MaRDI portal

Publication:2151249

Jump to:navigation, search

DOI10.1007/978-3-319-63387-9_11zbMath1494.68173OpenAlexW2735404318MaRDI QIDQ2151249

Thomas Heinz, Hendrik Roehm, Eva Charlotte Mayer

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_11

zbMATH Keywords

temporal logic SMT mutation testing MTL STL specification validation

Mathematics Subject Classification ID

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

This page was built for publication: STLInspector: STL validation with guarantees

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