Automated verification of safety properties of declarative networking programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 14, 2015
Source ID
10.1145/2790449.2790516

Entities

People

  • Boon Thau Loo
  • Chen Chen
  • Lay Kuan Loh
  • Limin Jia
  • Wenchao Zhou

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • Georgetown University
  • National Science Foundation
  • University of Pennsylvania