Login / Signup

Validating Automotive Control Software Using Instrumentation-Based Verification.

Arnab RayIris MorschhaeuserChristopher AckermannRance CleavelandCharles P. SheltonChris Martin
Published in: ASE (2009)
Keyphrases
  • control software
  • control system
  • model checking
  • automotive industry
  • concurrent systems
  • data sets
  • search algorithm
  • formal verification
  • person identification
  • verification method