"FORMAL: FORMAL MODELS AND ALGORITHMS FOR SYNTHESIS OF PROVABLY CORRECT REACTIVE REAL-TIME MULTI-THREADED EMBEDDED SOFTWARE FOR SAFETY-CRITICAL APPL

Virginia Polytechnic Institute & State University

Investigators