Journal ArticleDOI
Program verification: the very idea
Reads0
Chats0
TLDR
The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.Abstract:
The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.read more
Citations
More filters
Journal ArticleDOI
Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences
TL;DR: Verification and validation of numerical models of natural systems is impossible because natural systems are never closed and because model results are always nonunique.
Journal ArticleDOI
Criticism and the Growth of Knowledge. Edited by I. Lakatos and A. Musgrave. Pp. viii, 282. £3·50, paperback £1. 1970. (Cambridge University Press.)
Journal ArticleDOI
Using formal specifications to support testing
Robert M. Hierons,Kirill Bogdanov,Jonathan P. Bowen,Rance Cleaveland,John Derrick,Jeremy Dick,Marian Gheorghe,Mark Harman,Kalpesh Kapoor,Paul Krause,Gerald Lüttgen,Anthony J. H. Simons,Sergiy Vilkomir,Martin R. Woodward,Hussein Zedan +14 more
TL;DR: The state of the art regarding ways in which the presence of a formal specification can be used to assist testing is reviewed.
Book
A Framework for Web Science
TL;DR: This text sets out a series of approaches to the analysis and synthesis of the World Wide Web, and other web-like information structures, and a comprehensive set of research questions is outlined, together with a sub-disciplinary breakdown, emphasising the multi-faceted nature of the Web.
Journal ArticleDOI
Some pedagogical aspects of proof
TL;DR: 1. formal proof: proof as a theoretical concept in formal logic (or metalogic), which may be thought of as the ideal which actual mathematical practice only approximates.
References
More filters
BookDOI
Aspects of Artificial Intelligence
TL;DR: This book discusses Artificial Intelligence and Effective Epistemology, Artificial Intelligence as an Experimental Science, and Defeasible Reasoning.
Book
The role of mathematics in the rise of science
TL;DR: The Princeton Legacy Library as discussed by the authors provides access to thousands of books published by Princeton University Press since its founding in 1905, including more than 20,000 books from the distinguished backlist of Princeton University's Press.
Book ChapterDOI
On the Nature of Mathematical Truth
TL;DR: In this paper, it is argued that the truths of mathematics, in contradistinction to the hypotheses of empirical science, require neither factual evidence nor any other justification because they are self-evident.