Crichton An open-source automated program verification system project. This project is a sub-project of a STPA project. Releases 1.0 (wip) Initial release Build Environment Scala 3.1.0 Spring Frmaework 5.3.13 Spring Boot 3.0.0 Gradle 7.5 java 17