A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Automated verification of safety properties of declarative networking programs
2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15
Networks are complex systems that unfortunately are ridden with errors. Such errors can lead to disruption of services, which may have grave consequences. Verification of networks is key to eliminating errors and building robust networks. In this paper, we propose an approach to verify networks using declarative networking, where networks are specified in NDlog, a declarative language. We focus on analyzing safety properties. We develop a technique to statically analyze NDlog programs: first,
doi:10.1145/2790449.2790516
dblp:conf/ppdp/ChenLJZL15
fatcat:4zseb6dzhjdwtgcg4dr6hc2fqq