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
On the Validation of Invariants at Runtime - MaRDI portal

On the Validation of Invariants at Runtime

From MaRDI portal

Publication:2843823

Jump to:navigation, search

DOI10.3233/FI-2013-859zbMath1271.68140MaRDI QIDQ2843823

Piotr Kosiuczenko

Publication date: 26 August 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

optimization contracts framing OCL invariant validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: On the Validation of Invariants at Runtime

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