Istituto di Scienza e Tecnologie dell'Informazione     
Massink M. On-the-fly fast mean field model checking for collective adaptive systems. In: Dagstuhl Reports (ISSN: 2192-5283) V.4 n. 3/12 - Dagstuhl Publishing. 2014.
In this abstract work on the application of mean-field theory in the definition and implementation of on-the-fly probabilistic model checking of CAS.
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5006/
DOI: http://dx.doi.org/10.4230/DagRep.4.12.68
Subject Probabilistic model-checking
On-the-fly model-checking
Mean-field approximation
B.8.2 Performance Analysis and Design Aids
D.2.4 Software/Program Verification
F.1.2 Modes of Computation
F.3.1 Specifying and Verifying and Reasoning about Programs
39-XX Difference and functional equations
60Jxx Markov processes

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional