CosyVerif: An open source extensible verification environment (2013)

by References André, É Hillah, L-M Hulin-Hubard, F Kordon, F Lembachar, Y Linard, A, L Petrucci
Venue:18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13