epmc:main
Differences
This shows you the differences between two versions of the page.
Last revisionBoth sides next revision | |||
epmc:main [2020/11/20 14:06] – 外部编辑 127.0.0.1 | epmc:main [2020/11/23 10:43] – ::1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== EPMC - (An Extendible Probabilistic Model Checker, previously known as IscasMC) ====== | ||
+ | ====== Introduction ====== | ||
+ | EPMC is a successor of the model checker IscasMC which only focuses on PLTL model checking over MDP. | ||
+ | ===== Support probabilistic models ===== | ||
+ | * Discrete Time Markov Chains (DTMCs) | ||
+ | * Markov Decision Processes (MDPs) | ||
+ | * Continuous Time Markov Chains (CTMCs) | ||
+ | * Stochastic Multi-player games (SMGs) | ||
+ | * Probabilistic Parity Games (PPGs) | ||
+ | (All input models can be specified in the PRISM format and JANI format.) | ||
+ | |||
+ | |||
+ | ===== Support property | ||
+ | * PCTL | ||
+ | * PLTL | ||
+ | * PCTL* | ||
+ | * CSL (in progress) | ||
+ | * Transient Properties (in progress) | ||
+ | * Expected Rewards (in progress) | ||
+ | |||
+ | |||
+ | The main characteristics of EPMC are the high modularity of the tool, the possibility to extend EPMC with plugins to add new functionalities, | ||
+ | |||
+ | EPMC is mainly developed in Java, but accesses a few libraries written in C/C++ to increase performance or to access well established legacy code. Its graphical user interface (GUI) is a single static webpage. The GUI communicates with the backend, where core functions (like model checking) and high-privilege operations (like file I/O) are realised. | ||
+ | |||
+ | ---- | ||
+ | ====== Download and usage ====== | ||
+ | ePMC is now available publicly. It can be accessed online on GitHub, at [[https:// | ||
+ | Please follow our [[https:// | ||
+ | |||
+ | ---- | ||
+ | |||
+ | ====== Contact ====== | ||
+ | Comments and feedback about any aspect of ePMC are very welcome. Please contact: | ||
+ | * [[https:// | ||
+ | |||
+ | ---- | ||
+ | |||
+ | ====== Other projects ======= | ||
+ | The following are projects that use ePMC: | ||
+ | * [[http:// | ||
+ | * [[https:// | ||
+ | * [[https:// | ||
+ | |||
+ | |||
+ | |||
+ | |||