Pages that link to "Item:Q3000591"
From MaRDI portal
The following pages link to Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591):
Displaying 5 items.
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← 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)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
