Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.

David S. Hardin, Matthew Wilding, David A. Greve

Browse the full CAV paper archive.