http://www.cnr.it/ontology/cnr/individuo/prodotto/ID279468
On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio))
- Type
- Label
- On-the-fly fast mean-field model-checking (Contributo in volume (capitolo o saggio)) (literal)
- Anno
- 2014-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1007/978-3-319-05119-2_17 (literal)
- Alternative label
Latella D., Loreti M., Massink M. (2014)
On-the-fly fast mean-field model-checking
in Trustworthy Global Computing. 8th International Symposium, Revised Selected Papers, 2014
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Latella D., Loreti M., Massink M. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
- Grant agreement: 600708
Tipo Progetto: EU_FP7 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://link.springer.com/chapter/10.1007/978-3-319-05119-2_17 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
- Trustworthy Global Computing. 8th International Symposium, Revised Selected Papers (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
- Note
- Scopu (literal)
- PuMa (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, Pisa, Italy; Università di Firenze, Italy; CNR-ISTI, Pisa, Italy (literal)
- Titolo
- On-the-fly fast mean-field model-checking (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-3-319-05118-5 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
- Martín Abadi, Alberto Lluch Lafuente (literal)
- Abstract
- Anovel,scalable,on-the-flymodel-checkingprocedureispre- sented 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 applica- tion of a prototype implementation of the FlyFast model-checker are pre- sented. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Insieme di parole chiave di