Login / Signup
Statistical Verification of the Toyota Powertrain Control Verification Benchmark.
Nima Roohi
Yu Wang
Matthew West
Geir E. Dullerud
Mahesh Viswanathan
Published in:
HSCC (2017)
Keyphrases
</>
model checking
functional verification
formal verification
verification method
database
real time
data driven
statistical analysis
face verification
information systems
search algorithm
temporal logic
control strategy
control theory
asynchronous circuits
handwritten signature verification