Hazards of Verification.

Published in: Haifa Verification Conference (2008)

Keyphrases

model checking
data sets
asynchronous circuits
early warning
information technology
functional verification
verification method
emergency response
multi agent
risk assessment
image sequences
decision making
test generation
computer vision
social networks
concurrent systems
genetic algorithm