A FORMAL APPROACH TO THE PROVABLY CORRECT SYNTHESIS OF MISSION-CRITICAL EMBEDDED SOFTWARE FOR MULTI-CORE EMBEDDED PLATFORMS

Virginia Polytechnic Institute & State University

Investigators