Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Communicating sequential processes
Communicating sequential processes
Concurrent program structures
Transputer reference manual
Programming from specifications
Programming from specifications
The transputer and Occam: a personal story
Concurrency: Practice and Experience
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A static analyzer for finding dynamic programming errors
Software—Practice & Experience
Predicative programming Part II
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
A high-speed sorting procedure
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Discipline of Programming
The Java Language Specification
The Java Language Specification
The structure of an operating system
Language Hierarchies and Interfaces, International Summer School
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
An empirical framework for comparing effectiveness of testing and property-based formal analysis
PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Logical Foundations of Program Assertions: What do Practitioners Want?
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
FM '08 Proceedings of the 15th international symposium on Formal Methods
Are practitioners writing contracts?
Rigorous Development of Complex Fault-Tolerant Systems
State coverage: software validation metrics beyond code coverage
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Communications of the ACM
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.02 |
Assertions are Boolean formulas placed in program text at places where their evaluation will always be true. If the assertions are strong enough, they express everything that the programmers on either side of an interface need to know about the program on the other side, even before the code is written. Indeed, assertions can serve as the basis of a formal proof of the correctness of a complete program.