Pages that link to "Item:Q3512483"
From MaRDI portal
The following pages link to Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483):
Displaying 4 items.
- Dynamic symbolic verification of MPI programs (Q2024366) (← links)
- Going beyond dual execution: MPC for functions with efficient verification (Q2055697) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711505) (← links)
- A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs (Q5870863) (← links)