Patent 7571428 was granted and assigned to Microsoft on August, 2009 by the United States Patent and Trademark Office.
Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular conditions may be declared for the use in any one of a programming, execution, or testing environment.