On Combining Functional Verification and Performance Evaluation Using CADP.

Hubert Garavel Holger Hermanns

Published in: FME (2002)

Keyphrases

functional verification
formal verification
case study
data streams
software engineering
wireless networks
hardware and software
hardware software