Automated verification of safety properties of declarative networking programs.

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

Browse the full PPDP paper archive.