Pages that link to "Item:Q3512507"
From MaRDI portal
The following pages link to Thread Quantification for Concurrent Shape Analysis (Q3512507):
Displaying 6 items.
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free (Q2058383) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)