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 conditions are code
TL;DR: It is shown here that the verification conditions that support a Hoare Logic program derivation are themselves sufficient to construct a correct implementation of the given pre-, and post-condition specification.
Proceedings ArticleDOI
Intentional adequacy of computer programs as the experimental reference of agent-based social simulation
TL;DR: The classical theory of computation is not an adequate model of reality for agent-based simulation in the social sciences and the paradigm of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent- based computational social science.
Dissertation
On the probability of perfection of Software-Based systems
TL;DR: This thesis provides 3 parallel sets of (quasi-)perfection models which could be used individually as a conservative end-to-end argument that reasoning from various types of evidence to the reliability of a software-based system.
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.