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
An algorithm for finding invariant relations in programs - MaRDI portal

An algorithm for finding invariant relations in programs

From MaRDI portal

Publication:3942372

Jump to:navigation, search

DOI10.1007/BF01068775zbMath0483.68014MaRDI QIDQ3942372

S. L. Krivoj

Publication date: 1981

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

time complexity program analysis program verification loop invariants inductive assertions data algebras

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Program verification: state of the art, problems, and results. I

Cites Work

This page was built for publication: An algorithm for finding invariant relations in programs

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