Verification of an industrial SystemC/TLM model using LOTOS and CADP.

Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe

Browse the full MEMOCODE paper archive.