Nested emptiness search for generalized Büchi automata

MaRDI QIDQ5480170zbMATH OpenFDO

Authors Heikki Tauriainen

Publication date 26 July 2006

zbMATH Keywords

model checkingBüchi automatanested depth-first search

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Software
• Three SCC-based emptiness checks for generalized Büchi automata
• Comparison of algorithms for checking emptiness on Büchi automata
• Generic emptiness check for fun and profit
• Parallel Explicit Model Checking for Generalized Büchi Automata

Cited in

(9)

• Model checking \(\omega \)-regular properties with decoupled search
• Comparison of algorithms for checking emptiness on Büchi automata
• scientific article; zbMATH DE number 1979546 (Why is no real title available?)
• On-the-fly emptiness check of transition-based Streett automata
• Generic emptiness check for fun and profit
• GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
• Automata-Theoretic Model Checking Revisited
• Three SCC-based emptiness checks for generalized Büchi automata
• Model Checking Software

This page was built for publication: Nested emptiness search for generalized Büchi automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5480170)