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
A Language-Theoretic View of Verification - MaRDI portal

A Language-Theoretic View of Verification

From MaRDI portal

Publication:4907857

Jump to:navigation, search

DOI10.1142/9789814271059_0005zbMath1256.68119OpenAlexW2403477658MaRDI QIDQ4907857

Kamal Lodaya

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0005

zbMATH Keywords

verification regular languages linear temporal logic nonemptiness interval temporal logic computation tree logic membership inclusion problems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: A Language-Theoretic View of Verification

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