3 ms·The Checker Framework enhances Java's type system to make it more powerful1 points by henk53 13y ago