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
scientific article; zbMATH DE number 1507203 - MaRDI portal

scientific article; zbMATH DE number 1507203

From MaRDI portal

Publication:4503923

Jump to:navigation, search

zbMath0957.68062MaRDI QIDQ4503923

K. L. McMillan

Publication date: 25 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic model checking state explosion problem model checkers binary decision digrams

Mathematics Subject Classification ID

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

Related Items (2)

A View from the Engine Room: Computational Support for Symbolic Model Checking ⋮ An abstract dynamic access control architecture

This page was built for publication:

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