StormCpp

A small C++ wrapper for Storm. Some documentation can be found at http://demeter.inf.ed.ac.uk/cross/stormcpp.html

Acknowledgments

This work is conducted as part of the EPSRC CROSS project (http://demeter.inf.ed.ac.uk/cross), a joint venture between School of Informatics, University of Edinburgh, and School of Computing Science, University of Glasgow.