Pages that link to "Item:Q2870197"
From MaRDI portal
The following pages link to Verification of fine-grain concurrent programs (Q2870197):
Displaying 14 items.
- Verification of sequential and concurrent programs (Q837527) (← links)
- Formal verification of out-of-order execution with incremental flushing (Q1604722) (← links)
- Verification and refinement with fine-grained action-based concurrent objects (Q1770367) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Verification of parameterized concurrent programs by modular reasoning about data and control (Q2942881) (← links)
- Caper (Q2988651) (← links)
- Verifying Concurrent Systems with Symbolic Execution (Q3146300) (← links)
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- PBMC: Symbolic Slicing for the Verification of Concurrent Programs (Q3460578) (← links)
- Formal verification of language-based concurrent noninterference (Q5195249) (← links)
- Simulation Refinement for Concurrency Verification (Q5403461) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711509) (← links)