Environment Abstraction for Parameterized Verification.

Edmund M. Clarke Muralidhar Talupur Helmut Veith

Published in: VMCAI (2006)

Keyphrases

real time
mobile robot
data sets
complex environments
bounded model checking
knowledge base
video sequences
model checking
path planning
simulation environment
fingerprint verification
hardware designs