eventb-rossi

Packages 15

Order by: name · last commit

• sci-mathematics/atelier-b 24.04.2 50 d IDE for formal modelling and verification with the B method
• sci-mathematics/b2program 0.1.0_p20260512 49 d Code generator from B to Java, C++, Python, Rust, and TypeScript
• sci-mathematics/evbt 1.5.0 50 d Event-B tool for code generation and documentation
• sci-mathematics/eventb-animate 6.3 2 d Animate Event-B models with the ProB model checker
• sci-mathematics/eventb-checker 1.13 2 d Standalone validator for Event-B models
• sci-mathematics/eventb-to-txt 1.7 50 d Convert Rodin Event-B models to plain-text format
• sci-mathematics/ltsmin 3.0.2 8 d High-performance language-independent model checking tools
• sci-mathematics/prob-bin 1.15.1-r1 8 d Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z
• sci-mathematics/prob2-ui 1.3.1-r1 8 d JavaFX-based animator and model checker built on ProB
• sci-mathematics/rodin 3.10.0 26 d IDE for formal modelling and verification with Event-B
• sci-mathematics/rodin-headless 4.0 33 d Headless toolchain to build, model-check, and prove Rodin Event-B models
• sci-mathematics/rossi 0.1.7 28 h Rust toolchain for Event-B: parser, static checker, CLI, and language server
• sci-mathematics/sylvan 1.1.1 8 d Parallel decision diagram library
• sci-mathematics/tlc4b 1.2.3 50 d Model-check classical B specifications by translating them to TLA+
• sec-keys/openpgp-keys-stups 20260607 50 d OpenPGP key used by the STUPS group at HHU Düsseldorf