GitHub repository: ISCAS-PMC/ePMC
Primary language: JavaScript
Description: EPMC: An Extendible Probabilistic Model Checker