This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '05
 Name
 Formal verification, formal methods, Mathematical Expression, total correctness, Refinement Calculus

Click to edit the document details