Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
DOI10.1007/978-3-540-78800-3_2zbMATH Open1134.68406OpenAlexW2103976262MaRDI QIDQ5458316FDOQ5458316
Authors: Azadeh Farzan, Yu-Fang Chen, Yih-Kuen Tsay, Bow-Yaw Wang, Edmund Clarke 
Publication date: 11 April 2008
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_2
Recommendations
Formal languages and automata (68Q45) Computational learning theory (68Q32) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (32)
- A framework for compositional verification of multi-valued systems via abstraction-refinement
- Title not available (Why is that?)
- Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata
- Title not available (Why is that?)
- Learning infinite-word automata with loop-index queries
- Compositional Reasoning
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
- Testing language containment for \(\omega\)-automata using BDDs
- Constructing deterministic parity automata from positive and negative examples
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
- Regular \(\omega\)-languages with an informative right congruence
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Polynomial Identification of $$\omega $$-Automata
- Computer Aided Verification
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Compositional verification and 3-valued abstractions join forces
- Learning regular omega languages
- Compositional probabilistic verification through multi-objective model checking
- Mediating for reduction (on minimizing alternating Büchi automata)
- Learning Algorithms and Formal Verification (Invited Tutorial)
- Inferring switched nonlinear dynamical systems
- Learning One-Clock Timed Automata
- Tools and Algorithms for the Construction and Analysis of Systems
- Learning Minimal Separating DFA’s for Compositional Verification
- Efficient Unlinkable Sanitizable Signatures from Signatures with Re-randomizable Keys
- Assume-guarantee reasoning with local specifications
- Relational Methods in Computer Science
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees
- How hard is finding shortest counter-example lassos in model checking?
- Inferring regular languages and \(\omega\)-languages
- Title not available (Why is that?)
Uses Software
This page was built for publication: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458316)
