×

zbMATH — the first resource for mathematics

Checking timed Büchi automata emptiness on simulation graphs. (English) Zbl 1352.68165

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata
Software:
Uppaal; Kronos
PDF BibTeX Cite
Full Text: DOI