prismmodelchecker/prism

The main development version of the PRISM model checker.

Java200 stars83 forksGPL-2.0

Momentum

prismmodelchecker/prism has 200 GitHub stars.

It currently ranks #12230 daily, #13259 weekly, #16683 monthly by momentum on Trending Repos; its best-ever rank is #2812.

Trending Repos first recorded it on May 16, 2026.

Rankings

PeriodRankScore

Daily

#122300.0

Weekly

#132590.0

Monthly

#166830.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #2812

Format

Markdown

[![prismmodelchecker/prism badge](https://trending-repos.com/badge/prismmodelchecker/prism.svg?v=3)](https://trending-repos.com/repositories/prismmodelchecker/prism?utm_source=github&utm_medium=badge)

prismmodelchecker/prism

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

prismmodelchecker/prism

Momentum

Rankings

Engagement

Similar trending repositories

Embeds