Nested emptiness search for generalized Büchi automata

zbMATH Open1095.68057MaRDI QIDQ5480170FDOQ5480170

Authors: Heikki Tauriainen 

Publication date: 26 July 2006

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

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)

Cited In (7)

• Model checking \(\omega \)-regular properties with decoupled search
• Comparison of algorithms for checking emptiness on Büchi automata
• Title not available (Why is that?)
• On-the-fly emptiness check of transition-based Streett automata
• GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
• Automata-Theoretic Model Checking Revisited
• 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)