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

詳細(xì)目錄

modifier

無孔

大火

恫嚇

嚴(yán)厲譴責(zé)

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.