SMT-based model checking for recursive programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2016
Source ID
10.1007/s10703-016-0249-4

Entities

People

  • Anvesh Komuravelli
  • Arie Gurfinkel
  • Sagar Chaki

Organizations

  • National Science Foundation
  • Office of Naval Research
  • Semiconductor Research Corporation
  • United States Department of Defense