epmc:main
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
epmc:main [2020/11/23 10:43] – ::1 | epmc:main [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.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:// | ||
- | |||
- | |||
- | |||
- | |||