Progress on Powertrain Verification Challenge with C2E2.

Chuchu Fan Parasara Sridhar Duggirala Sayan Mitra Mahesh Viswanathan

Published in: ARCH@CPSWeek (2015)

Keyphrases

formal verification
databases
data mining
information systems
digital images
mathematical model
face verification
false acceptance