Pages that link to "Item:Q3452264"
From MaRDI portal
The following pages link to Summarizing procedures in concurrent programs (Q3452264):
Displayed 6 items.
- Budget-bounded model-checking pushdown systems (Q479843) (← links)
- Summarization for termination: No return! (Q845247) (← links)
- Reducing concurrent analysis under a context bound to sequential analysis (Q1039852) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis (Q3512480) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)