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
Formal Methods in Computer Science - MaRDI portal

Formal Methods in Computer Science

From MaRDI portal

Publication:4633947

Jump to:navigation, search

DOI10.1201/9780429184185zbMath1436.68002OpenAlexW2959879502MaRDI QIDQ4633947

William M. Tepfenhart, Jiacun Wang

Publication date: 6 May 2019

Full work available at URL: https://doi.org/10.1201/9780429184185

zbMATH Keywords

Petri nets formal verification regular expressions model checking natural deduction formal languages grammars finite state machines temporal logics

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (1)

Glushkov's algorithmic algebras and automated parallel computing design

This page was built for publication: Formal Methods in Computer Science

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