Projects
All types
| Name | Key | Type | Lead | |
|---|---|---|---|---|
 BMotionWeb | BMSPROB | Company-managed software | ||
 Build System | BUILD | Company-managed software | ||
| CSPM-cspm | CSPM | Company-managed software | ||
| ProB 2.0 | PROBCORE | Company-managed software | ||
| ProB Documentation | DOC | Company-managed software | ||
| ProB for Rodin | PROBPLUGIN | Company-managed software | ||
| ProB Parser Library | PARSERLIB | Company-managed software | ||
 ProB Tcl/Tk | PROB | Company-managed software | ||
 ProB-Kodkod | KODKOD | Company-managed software | ||
 prob2ui | PROB2UI | Company-managed software | ||
| SlotTool | SLOT | Company-managed software | ||
 SMT_Solvers_interface | SSIMT | Company-managed software | ||
| ZMQ-Extension | ZMQEXTENSION | Company-managed software |