Verifying read-copy-update in a logic for weak memory

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2737992

Entities

People

  • Derek Dreyer
  • Joseph Tassarotti
  • Viktor Vafeiadis

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • Max Planck Institute for Software Systems
  • United States Department of Defense