Creating Büchi Automata for Multi-valued Model Checking

DOI10.1007/978-3-319-60225-7_15zbMath1489.68141OpenAlexW2619387805MaRDI QIDQ5082197

Stefan J. J. Vijzelaar, W. J. Fokkink

Publication date: 15 June 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01658422/file/446833_1_En_15_Chapter.pdf

Mathematics Subject Classification ID

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

This page was built for publication: Creating Büchi Automata for Multi-valued Model Checking