Random Models for Evaluating Efficient Büchi Universality Checking

DOI10.1007/978-3-662-54069-5_8zbMath1483.68190MaRDI QIDQ5224494

Moshe Y. Vardi, Seth Fogarty, Corey Fisher

Publication date: 24 July 2019

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54069-5_8

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• Antichains