{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-tools-and-trends-9th-international-symposium-on-leveraging-applications-of-fo-9783030837228","title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo","description":"\u003cp\u003e • Author(s): Tiziana Margaria\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThe four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.\u003cbr\u003e\u003c\/p\u003e \u003cp\u003eThe papers presented were carefully reviewed and selected for inclusion in the proceedings. \u003c\/p\u003e \u003cp\u003eEach volume focusses on an individual topic with topical section headings within the volume: \u003c\/p\u003e\u003cp\u003e\u003cb\u003ePart I, Verification Principles: \u003c\/b\u003e\u003cbr\u003eModularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003ePart II, Engineering Principles: \u003c\/b\u003e \u003cbr\u003eAutomating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cb\u003ePart III, Applications: \u003c\/b\u003e \u003cbr\u003eReliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.\u003c\/p\u003e\u003cp\u003e\u003cb\u003ePart IV, Tools and Trends: \u003cbr\u003e\u003c\/b\u003eFrom Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282107162775,"sku":"9783030837228","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030837228.webp?v=1769301164","url":"https:\/\/atlanticbooks.com\/products\/leveraging-applications-of-formal-methods-verification-and-validation-tools-and-trends-9th-international-symposium-on-leveraging-applications-of-fo-9783030837228","provider":"Atlantic Books","version":"1.0","type":"link"}