On-the-fly Fast Mean-Field Model-Checking

DOI10.1007/978-3-319-05119-2_17zbMath1348.68144arXiv1312.3416OpenAlexW97988159WikidataQ124439023 ScholiaQ124439023MaRDI QIDQ2830041

Michele Loreti, Mieke Massink, Diego Latella

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.3416

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Applying Mean-Field Approximation to Continuous Time Markov Chains ⋮ Fluid Model Checking of Timed Properties ⋮ An experience in using machine learning for short-term predictions in smart transportation systems

Uses Software

• PRISM
• SPIN
• APMC
• INFAMY

This page was built for publication: On-the-fly Fast Mean-Field Model-Checking