1 paper · 1 filter
Enrico Ghiorzi, Armando Tacchella
This paper lays out the formal foundations upon which the SCAN statistical model checker is built.