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
- SpidyBC
- A copy of the current specification
- Quick notes within the Wiki of this repository: https://github.com/scj-devel/doc/wiki