Title: A computerized system of proving properties of programs
Subjects: Computer programs, Validation