I am rewriting my probabilistic model checker, Ymer, from scratch. I am hoping that 5+ years of industry experience will have made me a better software developer, and I am also using this project as an opportunity to learn new language features introduced in C++11.
In the meantime, I have released a couple of minor updates to the current stable version of Ymer. I fixed a bug in the distributed sampling code and extended the parser for PRISM models to recognize a few more keywords (ctmc, const int, and const double).
The Ymer project is hosted on Google Code.
