Differences

This shows you the differences between two versions of the page.

--- main [2021/12/13 12:55] – [Properties supported by EPMC] andrea
+++ main [2021/12/13 13:04] (current) – [Access to EPMC] andrea
@@ Line 65: / Line 65: @@
 ===== Access to EPMC =====
   * Download: EPMC is now available publicly. It can be obtained on GitHub, at [[https://github.com/ISCAS-PMC/ePMC|this repository]]. \\  Please follow our [[https://github.com/ISCAS-PMC/ePMC/wiki/Documentations|wiki documentations]] to build and use EPMC.
-  * Online version of EPMC is available [[https://iscasmc.ios.ac.cn/IscasMC/user/center|here]]. Screenshot of EPMC online:
+  * Online version of EPMC is available [[https://tis.ios.ac.cn/IscasMC/login/login|here]]. Screenshot of EPMC online:
 {{:epmc-web.png}}
@@ Line 148: / Line 148: @@
 The following are projects related to EPMC:
   * [[http://faculty.sist.shanghaitech.edu.cn/faculty/songfu/Projects/pamc/epmc-pamc/|EPMC-PAMC]]: A model checker for probabilistic alternating-time Mu-Calculus.
+  * [[https://iscasmc.ios.ac.cn/dpctl/doku.php|dpCTL]]: A model checker for differentially privacy verification.
   * [[https://iscasmc.ios.ac.cn/roll/doku.php|ROLL]]: A learning based tool for models inferring.