Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research [email protected] May 2010.
Avionics
Verification for the High Impact Weather Prediction Project (HIWPP) and other ESRL/GSD verification work Steve Weygandt, Bonny Strong Bill Moninger, Jeff.