Titlebook: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques; 7th International Sy Tiziana Margaria,Bern

评论者

https://doi.org/10.1007/978-3-319-47166-2adaptive systems; compilers; formal methods; formal verification; model checking; model-driven engineerin

详细目录

modifier

无孔

大火

恫吓

严厉谴责

DOSE

floodgate

Better Railway Engineering Through Statistical Model Checkingr framework is flexible and can be extended to include effects specific to the system being analysed. We demonstrate that our framework can be used in practice using two case studies from the railway industry: electrically insulated joints, and pneumatic compressors.

entail

Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distancesoff properties. Moreover, the respective strategies can be represented efficiently using statistical techniques. Further, we also discuss when it is possible to statistically estimate linear distances between Markov chains.