Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.

Evans, Noah

doi:10.1109/correctness.2018.00008

DOE OSTI · 2005436

Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.

Evans, Noah

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Evans, Noah. 2022-10-01. Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.. https://doi.org/10.1109/correctness.2018.00008

Cite the original work for its findings. Save a collection to share your selection of sources.