{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-engineering-principles-9th-international-symposium-on-leveraging-applications-9783030614690","title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications","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 three-volume set LNCS 12476 - 12478 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.\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284525342871,"sku":"9783030614690","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030614690.webp?v=1769281457","url":"https:\/\/atlanticbooks.com\/products\/leveraging-applications-of-formal-methods-verification-and-validation-engineering-principles-9th-international-symposium-on-leveraging-applications-9783030614690","provider":"Atlantic Books","version":"1.0","type":"link"}