Formal Functional Verification of Device Drivers.

Eyad Alkassar Mark A. Hillebrand

Published in: VSTTE (2008)

Keyphrases

functional verification
car navigation
formal specification
formal verification
image processing
formal methods
hardware software