ACM Programming Language Design and Implementation, PLDI 2014


Article Details
Title: Automating formal proofs for reactive systems
Article URLs:
Alternative Article URLs:
Authors: Daniel Ricketts
  • University of California, San Diego
Valentin Robert
  • University of California, San Diego
Dongseok Jang
  • University of California, San Diego
Zachary Tatlock
  • University of Washington
Sorin Lerner
  • University of California, San Diego
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 0964702, 1228967, 1219172
DBLP Key: conf/pldi/RickettsRJTL14
Author Comments:

Discuss this paper and its artifacts below