The Static Driver Verifier Research Platform.

Thomas Ball Ella Bounimova Vladimir Levin Rahul Kumar Jakob Lichtenberg

Published in: CAV (2010)

Keyphrases

data sets
database
real time
artificial intelligence
real world
decision making
metadata
case study
wireless sensor networks
collaborative environment