Programming language landscape: syntax, semantics, and implementation
Programming language landscape: syntax, semantics, and implementation
Defining the boundaries of computing across complex organizations
Critical issues in information systems research
Social processes and proofs of theorems and programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Verification of Ada 1/0 statements
ACM SIGCSE Bulletin
ACM SIGSOFT Software Engineering Notes
Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Verified compilation in micro-Gypsy
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Formal methods versus software engineering: Is there a conflict
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A first step towards an evaluation framework taxonomy
ACM SIGOIS Bulletin
The culture of quality and software engineering education
ACM SIGCSE Bulletin
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Interfacing Ada with verification languages
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
An experience in the formal verification of industrial software
Communications of the ACM - Electronic supplement to the December issue
A practical approach to security assessment
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
Validation of HOL Proofs by Proof Checking
Formal Methods in System Design
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM - Special issue: multiprocessing
Communications of the ACM
The role of process models in software and systems development and evolution
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
A system for predictable component-based software construction
High integrity software
Recipes, Algorithms, and Programs
Minds and Machines
Timothy R. Colburn, Philosophy and Computer Science
Minds and Machines
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Planning the Software Industrial Revolution
IEEE Software
Towards Benchmarks for Knowledge Systems and Their Implications for Data Engineering
IEEE Transactions on Knowledge and Data Engineering
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A view from the Sonnenbichl: on the historical sociology of software and system dependability
ICHC Proceedings of the international conference on History of computing: software issues
Approximations, anomalies and "the proof of correctness wars"
ACM SIGSOFT Software Engineering Notes
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Abstraction in Computer Science
Minds and Machines
Foundations and Trends in Web Science
Problems in the ontology of computer programs
Applied Ontology
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Problems for a Philosophy of Software Engineering
Minds and Machines
Minds and Machines
Scientific Theories of Computational Systems in Model Checking
Minds and Machines
Some Philosophical Issues in Computer Science
Minds and Machines
A verified runtime for a verified theorem prover
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Journal of Visual Languages and Computing
Dependable and Historic Computing
Problems in the ontology of computer programs
Applied Ontology
An easy approach to epistemology and ontology in computing theses
Proceedings of the 13th Koli Calling International Conference on Computing Education Research
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE
Proceedings of the 45th ACM technical symposium on Computer science education
| Hi-index | 48.31 |
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.