- Programming With Assertions
- Assertions Or Exceptions?
- Design by Contract with JML
- Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it)
- OpenJDK’s java.utils.Collection.sort() is broken: The good, the bad and the worst case
- KeY: Deductive Verification of Software
- alloy
- Type Annotations and Pluggable Type Systems
- The Checker Framework
- A Checker Framework tutorial
转载于:https://my.oschina.net/crcc/blog/1525907