Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 13, 2015
Source ID
10.1007/s10703-015-0237-0

Entities

People

  • Arie Gurfinkel
  • Ofer Strichman
  • Sagar Chaki

Organizations

  • United States Department of Defense