Parameterized Verification of Many Identical Probabilistic Timed Processes

摘要

Parameterized verification aims at validating a system's model irrespective of the value of a parameter. We introduce a model for networks of identical probabilistic timed processes, where the number of processes is a parameter. Each process is a probabil