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, 21 Mar 2023 21:02:48 +0100},
  biburl       = {https://dblp.org/rec/conf/netys/ConchonDF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0