PRoofster: Automated Formal Verification

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2023
Source ID
10.1109/icse-companion58688.2023.00018

Entities

People

  • Alex Sanchez-Stern
  • Arpan Agrawal
  • Emily First
  • Shizhuo Zhang
  • Talia Ringer
  • Timothy Zhou
  • Tom Reichel
  • Yuriy Brun
  • Zhanna Kaufman

Organizations

  • Defense Advanced Research Projects Agency
  • University of Illinois Urbana–Champaign
  • University of Massachusetts