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 Uncertainty in the Correctness of Computer Programs - MaRDI portal

On the Uncertainty in the Correctness of Computer Programs

From MaRDI portal

Publication:3678650

Jump to:navigation, search

DOI10.1109/TSE.1985.232545zbMath0564.68009MaRDI QIDQ3678650

Farokh B. Bastani

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

correctness system reliability fuzzy equivalence classes control flow correctness possibility

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: On the Uncertainty in the Correctness of Computer Programs

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