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
Automata-Based Abstraction Refinement for µHORS Model Checking - MaRDI portal

Automata-Based Abstraction Refinement for µHORS Model Checking

From MaRDI portal

Publication:4635849

Jump to:navigation, search

DOI10.1109/LICS.2015.71zbMath1401.68202MaRDI QIDQ4635849

Naoki Kobayashi, Xin Li

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Automata-Based Abstraction Refinement for µHORS Model Checking

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