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
Using Answer Set Programming in the Development of Verified Software. - MaRDI portal

Using Answer Set Programming in the Development of Verified Software.

From MaRDI portal

Publication:5398045

Jump to:navigation, search

DOI10.4230/LIPIcs.ICLP.2012.72zbMath1281.68083OpenAlexW2246502763MaRDI QIDQ5398045

Martin Brain, Florian Schanda

Publication date: 25 February 2014

Full work available at URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#SchandaB12

zbMATH Keywords

verification answer set programming SPARK Ada safety critical contract based verification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Instrumenting a weakest precondition calculus for counterexample generation, An automatically verified prototype of the Tokeneer ID station specification

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