PrototypeCommon
prismmodelchecker/prism
The main development version of the PRISM model checker.
- Owner
- prismmodelchecker (organization)
- Stars
- Stars: 202
- Forks
- Forks: 83
- Language
- Java
- License
- GPL-2.0
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Java
All Java repos- RevEngAI/plugin-ghidraStars: 202JavaPrototype
- MiniAiLive/ID-Card-Passport-Recognition-AndroidStars: 202JavaPrototype
- Alanosy/exam-oldStars: 202JavaPrototype
- ushahidi/Ushahidi_AndroidStars: 202JavaPrototype
- trystan/AsciiPanelStars: 202JavaPrototype
- harvardinformatics/JAuthStars: 202JavaPrototype