MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.

Rui Wang, Lars Michael Kristensen, Volker Stolz

Browse the full VECoS paper archive.