International Static Analysis Symposium, SAS 2018


Article Details
Title: New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair
Article URLs:
Alternative Article URLs:
Authors: Ruzica Piskac
  • Yale University
Sharing: Unknown
Verification: Author has not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1302327, 1553168, 1715387
DBLP Key: conf/sas/Piskac18
Author Comments:

Discuss this paper and its artifacts below