Establishing a refinement relation between binaries and abstract code

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 09, 2019
Source ID
10.1145/3359986.3361215

Entities

People

  • Abhijith Bharadwaj
  • Binoy Ravindran
  • Freek Verbeek
  • Ian Roessle
  • Joshua Bockenek

Organizations

  • Naval Sea Systems Command
  • Office of Naval Research
  • Virginia Tech