Credible Autocoding and Verification of Embedded Software (CrAVES) Submitted by Eric Feron on Wed, 10/30/2013 - 14:07 CPS Domains Defense Aerospace CPS Technologies Embedded Software Foundations Control Validation and Verification Academia