Pages that link to "Item:Q4647837"
From MaRDI portal
The following pages link to Collaborative Verification and Testing with Explicit Assumptions (Q4647837):
Displaying 5 items.
- How testing helps to diagnose proof failures (Q1624590) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Information Exchange Between Over- and Underapproximating Software Analyses (Q6111606) (← links)
- Parallel program analysis via range splitting (Q6535222) (← links)