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
Verification of a program complex - MaRDI portal

Verification of a program complex

From MaRDI portal

Publication:4194415

Jump to:navigation, search

DOI10.1007/BF01930855zbMath0407.68010OpenAlexW2069915774MaRDI QIDQ4194415

Publication date: 1979

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01930855

zbMATH Keywords

Processes Program Verification State Space Database System

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Uses Software

Find

Cites Work

This page was built for publication: Verification of a program complex

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