Login / Signup
Evaluating coverage collection using the VEasy functional verification tool suite.
Samuel Nascimento Pagliarini
Paulo André Haacke
Fernanda Lima Kastensmidt
Published in:
LATW (2011)
Keyphrases
</>
tool suite
functional verification
artificial intelligence
reverse engineering
information systems
formal verification