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
Relationship of program correctness checking methods - MaRDI portal

Relationship of program correctness checking methods

From MaRDI portal

Publication:3033305

Jump to:navigation, search

DOI10.1007/BF01070588zbMath0691.68016MaRDI QIDQ3033305

V.s. Kostyrko

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

verification testing symbolic testing

Mathematics Subject Classification ID

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

Cites Work

This page was built for publication: Relationship of program correctness checking methods

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