Pages that link to "Item:Q5240132"
From MaRDI portal
The following pages link to Verifying Optimizations for Concurrent Programs (Q5240132):
Displaying 4 items.
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Going beyond dual execution: MPC for functions with efficient verification (Q2055697) (← links)
- From Verification to Optimizations (Q5172650) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)