Formal Verification of Programs
De Millo, Lipton and Perlis criticized the idea of formal verification of programs and argued that
- Formal verifications in computer science will not play the same key role as proofs do in mathematics.
- Absence of continuity, the inevitability of change, and the complexity of specification of real programs will make formal verification of programs difficult to justify and manage.
Read more about this topic: Richard J. Lipton
Famous quotes containing the words formal, verification and/or programs:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“A fact is a proposition of which the verification by an appeal to the primary sources of our knowledge or to experience is direct and simple. A theory, on the other hand, if true, has all the characteristics of a fact except that its verification is possible only by indirect, remote, and difficult means.”
—Chauncey Wright (1830–1875)
“We attempt to remember our collective American childhood, the way it was, but what we often remember is a combination of real past, pieces reshaped by bitterness and love, and, of course, the video past—the portrayals of family life on such television programs as “Leave it to Beaver” and “Father Knows Best” and all the rest.”
—Richard Louv (20th century)