Blogging about Real-time Java Programming, RTSJ, Safety-Critical Java, RT Garbage Collection, etc.
Static Checker for SCJ: Paper and its Presentation
Presentation of our Static SCJ Checker is now available online:
Static Checker for Safety-Critical Java Annotations
The paper itself can be downloaded from
Post a Comment
Post Comments (Atom)