Formal verification of CHP specifications with CADP — illustration on an asynchronous network-on-chip (0)

by G Salaün, W Serwe, Y Thonnart, P Vivet
Venue:in: Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007