On-the-fly Fast Mean-Field Model-Checking: Extended Version

Diego Latella, Michele Loreti, Mieke Massink

A novel, scalable, on-the-fly model-checking procedure is presented to verify bounded PCTL properties of selected individuals in the context of very large systems of independent in…