Regular model checking using inference of regular languages
From MaRDI portal
Recommendations
Cited in
(20)- Learning Meets Verification
- Regular model checking upside-down: an invariant-based approach
- Regular model checking with regular relations
- Tree regular model checking: a simulation-based approach
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Constructing concise characteristic samples for acceptors of omega regular languages
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Handling liveness properties in (-)regular model checking
- Recurrent Reachability Analysis in Regular Model Checking
- Learning to verify branching time properties
- Finite reasons for safety. Parameterized verification by finite model finding
- On Verifying Fault Tolerance of Distributed Protocols
- Regular model checking: evolution and perspectives
- Unsupervised automata learning via discrete optimization
- Computable fixpoints in well-structured symbolic model checking
- Tools and Algorithms for the Construction and Analysis of Systems
- Polynomial identification of \(\omega \)-automata
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Reachability games on automatic graphs
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
This page was built for publication: Regular model checking using inference of regular languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851061)
