tag : verification
2 publications
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings, 2012) — Matteo Casadei, Mirko Viroli ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini