Paper Info
Title
On-the-fly Fast Mean-Field Model-Checking: Extended Version.
Abstract
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 interacting objects. The proposed procedure combines on-the-fly model checking techniques with deterministic mean-field approximation in discrete time. The asymptotic correctness of the procedure is shown and some results of the application of a prototype implementation of the FlyFast model-checker are presented.
Year
Venue
Field
2013
CoRR
Model checking,Computer science,Correctness,Algorithm,On the fly,Theoretical computer science,Mean field theory,Discrete time and continuous time,Bounded function,Scalability
DocType
Volume
Citations 
Journal
abs/1312.3416
2
PageRank 
References 
Authors
0.37
8
3
Name
Order
Citations
PageRank
Diego Latella11168113.42
Michele Loreti281258.60
Mieke Massink3109587.58