Pages that link to "Item:Q5429342"
From MaRDI portal
The following pages link to Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis (Q5429342):
Displaying 13 items.
- Empirical software metrics for benchmarking of verification tools (Q526771) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Experience of improving the BLAST static verification tool (Q1758710) (← links)
- Leveraging Horn clause solving for compositional verification of PLC software (Q2177778) (← links)
- Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Dynamic Reductions for Model Checking Concurrent Software (Q2961569) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
- Parallel program analysis via range splitting (Q6535222) (← links)
