The following pages link to Computer Aided Verification (Q5312910):
Displaying 8 items.
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Structural Presburger digit vector automata (Q2378536) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- Symbolic String Verification: Combining String Analysis and Size Analysis (Q3617765) (← links)
