Toward a man-machine system for proving program correctness

Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers

IEEE Transactions on Software Engineering

The application of program verification techniques to hardware verification

25 years of DAC Papers on Twenty-five years of electronic design automation

A Theorem Prover for Verifying Iterative Programs Over Integers

IEEE Transactions on Software Engineering

A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers

IEEE Transactions on Software Engineering

Proving Theorems about LISP Functions

Journal of the ACM (JACM)

Data Structures and Correctness of Programs

Journal of the ACM (JACM)

An Assessment of Techniques for Proving Program Correctness

ACM Computing Surveys (CSUR)

Certification of algorithm 386 [A1]

Communications of the ACM

Correctness-preserving program transformations

POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages

The Automation of Proof: A Historical and Sociological Exploration

IEEE Annals of the History of Computing

The current state of proving programs correct

ACM '72 Proceedings of the ACM annual conference - Volume 1

The correctness of numerical algorithms

Proceedings of ACM conference on Proving assertions about programs

Properties preserved under recursion removal

Proceedings of ACM conference on Proving assertions about programs

A new approach to program testing

Proceedings of the international conference on Reliable software

Constructing correct and efficient concurrent programs

Proceedings of the international conference on Reliable software

The application of program verification techniques to hardware verification

DAC '79 Proceedings of the 16th Design Automation Conference

PEARL: an interactive system for the preparation and validation of structured programs

ACM SIGPLAN Notices

The application of program-proving techniques to the verification of synchronization processes

AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I

Proving theorems about LISP functions

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence

Survey: A survey of state vectors

Computer Science Review