Fixed point guided abstraction refinement for alternating automata

DOI10.1016/J.TCS.2010.05.037MaRDI QIDQ1959653zbMATH OpenOpenAlexFDO

Authors Pierre Ganty, Nicolas Maquet, Jean-François Raskin

Publication date 7 October 2010

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2010.05.037

zbMATH Keywords

abstract interpretationalternating automataantichains

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Fixpoint Guided Abstraction Refinement for Alternating Automata
• Abstraction refinement for emptiness checking of alternating data automata
• Antichain algorithms for finite automata
• SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
• Fixpoint-Guided Abstraction Refinements

Cites work

• Algorithms for Omega-Regular Games with Imperfect Information
• Alternation
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
• Büchi Complementation and Size-Change Termination
• Counterexample-guided abstraction refinement for symbolic model checking
• Fixpoint-Guided Abstraction Refinements
• From many places to few: automatic abstraction refinement for Petri nets
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1759702 (Why is no real title available?)
• Improved Algorithms for the Automata-Based Approach to Model-Checking

Cited in

(8)

• Abstraction refinement for emptiness checking of alternating data automata
• SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA
• Antichain algorithms for finite automata
• Fixpoint Guided Abstraction Refinement for Alternating Automata
• Alternating automata modulo first order theories
• Simplifying Alternating Automata for Emptiness Testing
• Reasoning About Regular Properties: A Comparative Study
• Antichain with SAT and tries

Describes a project that uses

Uses Software

• Antichains

This page was built for publication: Fixed point guided abstraction refinement for alternating automata

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