Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications.

Dominique Borrione, Menouer Boubekeur

Browse the full FDL paper archive.