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
Formal verification and evaluation of execution time in the envelope theory - MaRDI portal

Formal verification and evaluation of execution time in the envelope theory

From MaRDI portal

Publication:6560367

Jump to:navigation, search

DOI10.1007/bfb0027802zbMath1541.6822MaRDI QIDQ6560367

Shigeru Igarashi, Tetsuya Shirogane, Masayuki Shio, Tetsuya Mizutani

Publication date: 21 June 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Formal verification and evaluation of execution time in the envelope theory

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