CAVEAT: Technique and Tool for Computer Aided VErification And Transformation.

E. Pascal Gribomont, Didier Rossetto

Browse the full CAV paper archive.