SCJ Tools and Documentation

The GitHub organization scj-devel is a collection of tools, examples, and documentation related to safety-critical Java and the project “Certifiable Java for Embedded Systems” (http://cj4es.imm.dtu.dk/).

It contains following repositories:

• tools
• testsuite-jml
• doc
• apps
• hvm-scj
• tck

The project contains following tools

• SpidyBC

Collection of SCJ related documents

• A copy of the current specification
• Quick notes within the Wiki of this repository: https://github.com/scj-devel/doc/wiki