GitHub repository: pranavashok/prism
Primary language: Java
Description: The main development version of the PRISM model checker.