Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. Conchon, S., Delzanno, G., & Ferrando, A. In Podelski, A. & Taïani, F., editors, Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, volume 11028, of Lecture Notes in Computer Science, pages 209–224, 2018. Springer.
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/netys/ConchonDF18,
  author    = {Sylvain Conchon and
               Giorgio Delzanno and
               Angelo Ferrando},
  editor    = {Andreas Podelski and
               Fran{\c{c}}ois Ta{\"{\i}}ani},
  title     = {Declarative Parameterized Verification of Topology-Sensitive Distributed
               Protocols},
  booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
               Morocco, May 9-11, 2018, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11028},
  pages     = {209--224},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-05529-5\_14},
  doi       = {10.1007/978-3-030-05529-5\_14},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/netys/ConchonDF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0