Modal Verification Patterns for Systems Software.

Ismail Kuru, Colin S. Gordon

Browse the full PLOS paper archive.