Building Program Verifiers from Compilers and Theorem Provers

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 17, 2015
Accession Number
AD1027068

Entities

People

  • Anvesh Komuravelli
  • Arie Gurfinkel
  • Jorge A. Navas
  • Nikolaj Bjorner
  • Teme Kahsai

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Coding
  • Compilers
  • Department Of Defense
  • Device Drivers
  • Engineering
  • Guarantees
  • Materials
  • Notation
  • Semantics
  • Software Development
  • United States
  • Universities
  • User Friendly
  • Verification