EPMC

User Tools

Site Tools

Trace:
main

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
main [2021/12/13 12:55] – [Properties supported by EPMC] andreamain [2021/12/13 13:00] – [Other projects] andrea
Line 148: Line 148:
 The following are projects related to EPMC: 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.   * [[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.    * [[https://iscasmc.ios.ac.cn/roll/doku.php|ROLL]]: A learning based tool for models inferring. 
  
main.txt · Last modified: 2021/12/13 13:04 by andrea