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
Application of temporal logic to program specification - MaRDI portal

Application of temporal logic to program specification

From MaRDI portal

Publication:5930938

Jump to:navigation, search

zbMath0972.68110MaRDI QIDQ5930938

No author found.

Publication date: 26 April 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

verification formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Application of temporal logic to program specification

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