### Relevant articles

- [The Checker Framework – Pluggable Type Systems for Java](http://www.baeldung.com/checker-framework)