Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Name: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
SKU: 33912805
Price: 242.99 AUD
Availability: InStock

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$242.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Buy Now, Pay Later with:

4 payments of $60.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 13-25 June using International Courier

Description

The 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. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity 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. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable 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.

Release date Australia

October 29th, 2020

Series

Lecture Notes in Computer Science,

Contributors

Edited by Bernhard Steffen
Edited by Tiziana Margaria

Pages

582

Edition

1st ed. 2020

Audience

Professional & Vocational

Illustrations

110 Illustrations, color; 2317 Illustrations, black and white; XXIII, 582 p. 2427 illus., 110 illus. in color.

ISBN-13

9783030613617

Product ID

33912805

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*