Pages that link to "Item:Q1959654"
From MaRDI portal
The following pages link to Verifying parallel programs with dynamic communication structures (Q1959654):
Displaying 5 items.
- Model checking dynamic pushdown networks (Q2355386) (← links)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (Q3512483) (← links)
- Refinement-Based Verification of Communicating Unstructured Code (Q4571128) (← links)