Program verification: the very idea
Citations
2,909 citations
Cites background from "Program verification: the very idea..."
...However, the use of the term "verification" to describe this activity has led to extremely contentious debate [see Fetzer (1988), in (12) and letters in response in Commun....
[...]
367 citations
Additional excerpts
...L¨ uttgen, Department of Computer Science, University of York, Heslington, York, Y010 5DD, U.K.; email: Gerald.luettgen@cs.york.ac.uk; S. Vilkomir, Department of Computer Science, East Carolina University, Greenville, NC 27858; email: vilkomirs@ecu.edu; H. Zedan, Software Technology Laboratory,…...
[...]
343 citations
268 citations
Cites background from "Program verification: the very idea..."
...It can certainly be argued, as does Fetzer (1988), that "what makes (what we call) a proof a proof is its validity rather than its acceptance (by us) as v a l i d ....
[...]
References
36,808 citations
34,393 citations
4,463 citations
4,061 citations
"Program verification: the very idea..." refers background in this paper
...Indeed, some of the most interesting reactions have come from those whose position lies somewhere in between, such as van den Bos [37], who maintains that, “Once one accepts the quasi-empiricism in mathematics, and by analogy in computer science, one can either become an adherent of the Popperian school of conjectures (theories) and refutations [32], or one may believe Kuhn [23], who claims that the fate of scientific theories is decided by a social forum , ....
[...]
...Popper, K. R. Objective Knowledge....
[...]
...From a methodological point of view, it might be said that programs are conjectures, while executions a.re attempted-and all too frequently successful-refutations (in the spirit of Popper [32, 331)....
[...]
...re attempted-and all too frequently successful-refutations (in the spirit of Popper [32, 331)....
[...]
...Popper, K. R. Conjectures and Refutations....
[...]