Documents Static Checker for Safety-Critical Java Annotations

Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ S3 Lab, Purdue University oSCJ Open Safety-Critical Java…

Documents Jtres checker

Static Checking of Safety Critical Java Annotations Daniel Tang, Ales Plsek, Jan Vitek http://www.ovmj.net/oscj/ S3 Lab, Purdue University oSCJ Open Safety-Critical Java…