Fluid Model Checking of Timed Properties

Luca Bortolussi, Roberta Lanciani

We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on t…