Forges: Synthesizing Verified Generators
Forges: Synthesizing Verified Generators. Kestrel Institute PIs: Cordell Green, John Anton CSs: Lindsay Errington, Doug Smith, Alessandro Coglio, Stephen Westfold, Jim McDonald. Objective: synthesize model-based generators!. Produce generators quicker! Produce generators that are verified!.
382 views • 21 slides