Estimating verification time.

Pablo González de Aledo

Published in: CoRR (2014)

Keyphrases

image processing
model checking
formal methods
rigid body
person identification
data sets
databases
information systems
knowledge base
case study
digital libraries
estimation process
formal verification
high security
functional verification