Publications

Please find below some publications about CosyVerif.

[1]
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le and Laure Petrucci. CosyVerif: The Path to Formalisms Cohabitation. 45th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2024, LNCS, vol 14628, Springer.
[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</em >, pages 159–165. IEEE Computer Society, 2014. [ DOI</a > | 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</em >, pages 33–36. IEEE Computer Society, 2013. [ DOI</a > | 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</em >, volume 8144 of Lecture Notes in Computer Science, pages 199–214. Springer, 2013. [ DOI</a > | 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)</em >, pages 92–92, Constantine, Algeria, November 2012. IEEE Press. [ DOI</a > | http ]