Yale FLINT Group: A Type System for Certified Binaries
Yale FLINT Group: A Type System for Certified Binaries Research People Publications Software Support Links Internal A Type System for Certified Binaries Last modified: Sat Jan 19 06:40:38 2002 GMT. Authors Zhong Shao Bratin Saha Valery Trifonov Nikolaos Papaspyrou Abstract A certified binary is a value together with a proof that the value satisfies a given specification.