null and negative checking only. warnings on unannotated code: 938 ... all checking (but heuristics only for null and negative) warnings on unannotated code: 1100 ...
Build prover technology, expertise. Product? How. Interview RAD Java users ... Reuse theorem prover from ESC/Modula-3. When. About a year. Release first version ...