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
Temporal verification of programs via first-order fixpoint logic - MaRDI portal

Temporal verification of programs via first-order fixpoint logic

From MaRDI portal

Publication:6536298

Jump to:navigation, search

DOI10.1007/978-3-030-32304-2_20zbMath1539.68067MaRDI QIDQ6536298

Naoki Kobayashi, Atsushi Igarashi, Takeshi Nishikawa, Hiroshi Unno

Publication date: 19 April 2024

Mathematics Subject Classification ID

Logic in computer science (03B70) 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: Temporal verification of programs via first-order fixpoint logic

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