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
Book ChapterDOI
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution)
TL;DR: In this article , a trace-space explosion problem, aggravated by thread alternation, through utilizing the PC-DPOR and C-Intp techniques is discussed, which is a tool for verifying reachability properties of concurrent C programs.
Journal Article
The Printed Edition
Dragan Marušič,Tomaž Pisanski +1 more
TL;DR: Let’s think about what abstraction means and why the authors call palm trees by that name, even though botanists tell us that they are related to grasse s and not to trees.
Book ChapterDOI
Three Debates about Computing
TL;DR: Three debates that are central in understanding how computing as a discipline developed to what it is now are presented: the formal verification debate, the software engineering debate, and the experimental computer science debate.
Journal ArticleDOI
An Analysis of How Many Undiscovered Vulnerabilities Remain in Information Systems
TL;DR: In this article , the authors examine a paradigm that the number of undiscovered vulnerabilities is manageably small, through the lens of mathematical concepts from the theory of computing. But they find no reason to believe undiscovered vulnerability are not essentially unlimited in practice and examine the possible economic impacts should this be the case.
References
More filters
Book
The Structure of Scientific Revolutions
TL;DR: The Structure of Scientific Revolutions as discussed by the authors is a seminal work in the history of science and philosophy of science, and it has been widely cited as a major source of inspiration for the present generation of scientists.