ePMC, the Extendible Probabilistic Model Checker, is now available publicly. It can be accessed online on GitHub, at this repository.
ePMC is the successor of IscasMC, from which it keeps all features about Linear Time Logic probabilistic model checking. ePMC is highly modular, which allows everyone to extend and improve the functionalities of the model checker.
When you cite our IscasMC model checker, please use [HahnLSTZ14].
Feel free to contact us by email if you find issues with the online model checker.
The SETTA paper about the polynomial-time alternating probabilistic bisimulation for interval MDPs [HashemiTHHE17] has been awarded with the SETTA’17 best paper award.
Ralf Wimmer and Karina Wimmer, from Albert-Ludwigs-University Freiburg, Germany, visits us from Oct. 17 to Oct. 27, 2016. During the visit, Ralf gives a course on Symbolic Verification while Karima gives a talk on Dependency Quantified Boolean Formulas and Skolem functions applied to DQBF.
Arnd Hartmanns, from University of Twente, is visiting us from Sept. 5 to Sept. 14, 2016.
We are hosting the IscasMC summer school on the Practical Aspects on Probabilistic Model Checking, where we survey the main aspects relative to probabilistic model checking, with a specific attention to the practical aspects, in particular relative to the implementation of IscasMC.
See the official page for more details.
Mariëlle Stoelinga, from the University of Twente, the Netherlands, gives a course on Fault Trees Analysis at the Huairou Campus of the University of the Chinese Academy of Sciences from Jul. 10 to Jul. 15, 2016.
Yu-Fang Chen, from Academia Sinica, Taiwan, is visiting us from Jul. 01 to Dec. 31, 2016.
According to an agreement between the Chinese Academy of Sciences (CAS) and The World Academy of Sciences (TWAS) for the advancement of science in developing countries, up to 200 students/scholars from all over the world will be sponsored to study in China for doctoral degrees for up to 4 years.
This CAS-TWAS President’s Fellowship Programme provides students/scholars that are non-Chinese citizens an opportunity to pursue doctoral degrees at the University of Chinese Academy of Sciences (UCAS), the University of Science and Technology of China (USTC) or Institutes of CAS around China.
Under the terms of the CAS-TWAS agreement, travel from their home countries to China will be provided to the fellowship awardees in order to begin the fellowship in China (one trip only per student/scholar). TWAS will select 80 awardees from developing countries to support their international travel, while CAS will support the other 120. Visa fee will also be covered (once only per awardee) as a lump sum of USD 65 when all the awardees are on site in China. Any awardee on site in China, the host country, at the time of application will NOT be eligible for any travel or visa reimbursement.
Thanks to generous contribution of CAS, fellowship awardees will receive a monthly stipend (to cover accommodation and other living expenses, local travel expenses and health insurance) of RMB 7,000 or RMB 8,000 from CAS through UCAS/USTC, depending on whether he/she has passed the qualification test arranged by UCAS/USTC for all doctoral candidates after admission. All awardees will also be provided tuition and admission fee waivers.
Please refer to this file for details.
Both Andrea’s and Moritz’s CAS fellowships have been extended for the next year.
Yuan Feng, from University of Technology Sydney, will visit us for a week at the beginning of December.