The following pages link to Computer Aided Verification (Q5716588):
Displaying 9 items.
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- Dual analysis for proving safety and finding bugs (Q1951646) (← links)
- Faster pushdown reachability analysis with applications in network verification (Q2147193) (← links)
- A multi-domain incremental analysis engine and its application to incremental resource analysis (Q2346994) (← links)
- Solving Multiple Dataflow Queries Using WPDSs (Q3522064) (← links)
- An Improved Safety Solver in Go Using Partial Regions (Q3601823) (← links)
- Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation (Q4989485) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)