The following pages link to Computer Aided Verification (Q5312914):
Displaying 18 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- View abstraction for systems with component identities (Q2024368) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- On the \(k\)-synchronizability of systems (Q2200819) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Static Analysis of Communicating Processes Using Symbolic Transducers (Q2961555) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- (Q5240148) (← links)
