IBM system z functional and performance verification using X-Gen.

Torsten Schober Shimon Landa Bodo Hoppe Ronny Morad

Published in: HLDVT (2008)

Keyphrases

functional verification
operating system
functional analysis
model checking
formal verification
database systems
signature verification
image segmentation
data structure
formal analysis
person identification
concurrent systems
false acceptance rate