tag : PRISM
3 publications
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings, 2012) — Matteo Casadei, Mirko Viroli Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (paper in proceedings, 2009) — Matteo Casadei, Mirko Viroli Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings, 2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini