Please find below some publications about CosyVerif.

[1]

Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, and Laure Petrucci. Cosyverif: an online verification platform. Petri Net Newsletter, 87:5–7, May 2020.

[2]

Fabrice Kordon and Francis Hulin-Hubard. Benchkit, a tool for massive concurrent benchmarking. In 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, pages 159–165. IEEE Computer Society, 2014. [ DOI | http ]

[3]

Étienne André, Laure Petrucci, and Fabrice Kordon. Teaching formal methods: Experience at UPMC and UP13 with CosyVerif. In 25th EAEEIE Annual Conference, 2014, pages 25–28. IEEE, 2014.

[4]

Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, and Fabrice Kordon. Cosyverif: An open source extensible verification environment. In 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013, pages 33–36. IEEE Computer Society, 2013. [ DOI | http ]

[5]

Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, and Laure Petrucci. A modular approach for reusing formalisms in verification tools of concurrent systems. In 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, volume 8144 of Lecture Notes in Computer Science, pages 199–214. Springer, 2013. [ DOI | http ]

Please find below some publications related to the use of CosyVerif.

[1]

Souheib Baarir and Fabrice Kordon. Modeling and Verifying Distributed Systems with Petri Nets (tutorial). In 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pages 92–92, Constantine, Algeria, November 2012. IEEE Press. [ DOI | http ]