On Assertions

1. ./assertions-101.html A fairly long overview. Process state, invariants, Floyd-Hoare Triplets, Pre- Post-Conditions.
2. ./assertions-in-the-small.html Short programs with assertions
3. ../Examples/tiny-examples.html Tiny Programming Examples with a Software Engineering Perspective
4. The 3n+1 Termination Problem
5. Assertions in Java
6. Assertions in C++
7. Practical-Advice on Writing Assertions

1. Weakest Preconditions, wp(S, Q). Dijkstra.

1. http://www.openjml.org/
2. JML Intro

1. http://frama-c.com/ "Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software." FOSS.
2. http://www.key-project.org/ "Integrated Deductive Software Design" For Java. FOSS.
3. http://types.cs.washington.edu/checker-framework/ "The Checker Framework enhances Java's type system … detect and prevent errors … includes compiler plug-ins ("checkers") that find bugs or verify their absence." FOSS. 2016
4. http://www.coverity.com/ Research from Stanford U. Discovered 1000+ bugs in Linux kernel. Bought by https://www.synopsys.com/. Expensive to buy their service commercially. "Coverity Scan is our free, cloud-based solution specifically for the Open Source Community." Read https://www.synopsys.com/software-integrity.html
5. 2018 All the above are actively being used and developed.

1. ../OODesign/design-by-contract.html
2. ../OODesign/meyer-design-by-contract-1992-markedUp.pdf Bertrand Meyer's full paper with marked up areas by me.
3. Design-by-Contract Webinar by Bertrand Meyer, Professor of Software Engineering, ETH Zurich; ACM Fellow; September 17, 2015
4. ./JML/jmldbc-2006-markedUp.pdf Design-by-Contract ./JML/jmldbc.pdf
5. http://google-opensource.blogspot.com/2011/02/contracts-for-java.html February 4, 2011

Embedded. All Recommended Reading.