Sireum: A High Assurance System Engineering Platform
Sireum Kekinian is the most recent evolution of the Sireum platform. For more information, please visit Sireum's website:
https://sireum.org (Download/Getting Started)
Dependencies
Sireum depends on open source software libraries and applications (the specific versions are listed in versions.properties and in bin/install scripts).
Library Dependencies
In addition, Sireum includes adaptations of the following artifacts:
| Source | Adaptation | License |
|---|---|---|
| ANTLRv3.g | SireumAntlr3.g | BSD3 |
| diff_match_patch.java | DiffMatchPatch | Apache 2.0 |
| Geny | Jen & MJen | MIT |
| JetBrains Mono & FiraCode | Sireum Mono | OFL & OFL |
| SHA3IUF | SHA3 | MIT |
| UnsafeUtils | UnsafeUtils | MIT |
Application Dependencies
| Application | License |
|---|---|
| Liberica NIK/JDK (Full) | GPL v2 with "Classpath" exception |
| 7zz | LGPL v2.1/BSD3/unRAR license restriction |
| CVC4/5 | BSD3 |
| Coursier | Apache 2.0 |
| JaCoCo | EPL 2.0 |
| Sireum Forms | BSD2 |
| Z3 | MIT |
Optional Applications
| Application | License |
|---|---|
| checkstack.pl | GPL v2 |
| ACL2 | BSD3 |
| Alt-Ergo | OCamlPro-Non-Commercial-License |
| Brave Browser | MPL 2.0 |
| CompCert | INRIA Non-Commercial License Agreement |
| Cosmopolitan | ISC |
| Cosmos | Open Source |
| Coq | LGPL 2.1 |
| CLion | Commercial |
| FM Workbench | BSD3 |
| GraalVM (OpenJDK) | GPL v2 with "Classpath" exception |
| IntelliJ | Apache 2.0 |
| Isabelle | BSD3 |
| Mill | MIT |
| Oracle GraalVM | GFTC |
| OSATE2 | EPL 2.0 |
| Rust | MIT |
| RustRover | Non-Commercial |
| VSCodium | MIT |
| Zig | MIT (Expat) |
| IntelliJ/CLion/RustRover Plugin | License |
|---|---|
| ANTLR4 | BSD3 |
| ASM | Apache 2.0 |
| Diagrams.net Integration | Apache 2.0 |
| GitLab | JetBrains User Agreement (Free) |
| JDT AstView | BSD2 |
| LSP4IJ | EPL 2.0 |
| Native Debugging Support | Commercial (Ultimate only) |
| PDF Viewer | MIT |
| Rust | Ultimate/Commercial/Non-Commercial |
| Scala | Apache 2.0 |
| Sireum | BSD2 |
| Slang Injector | BSD2 |
| Terminal | Apache 2.0 |
| TeXiFy IDEA | MIT |
| Toml | MIT |
| ZigBrains | Apache 2.0 |