Functional Verification of Networked Embedded Systems
Nicola Bombieri, Franco Fummi, Graziano Pravadelli · 2005
We propose an automatic mechanism to extract the environment of a networked embedded system (NEV), and a functional verification methodology, which mixes automatic test pattern generation and model checking, exploiting the network environment constraints.