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
Algorithm to find invariant linear inequality constraints in programs - MaRDI portal

Algorithm to find invariant linear inequality constraints in programs

From MaRDI portal

Publication:3741026

Jump to:navigation, search

DOI10.1007/BF01069418zbMath0604.68019MaRDI QIDQ3741026

S. G. Raksha

Publication date: 1985

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

program invariants program analysis and optimization

Mathematics Subject Classification ID

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

Cites Work

This page was built for publication: Algorithm to find invariant linear inequality constraints in programs

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