Description

Book Synopsis

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.





Table of Contents
Specify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Product form

£67.49

Includes FREE delivery

RRP £74.99 – you save £7.50 (10%)

Order before 4pm tomorrow for delivery by Tue 13 Jan 2026.

A Paperback by Tiziana Margaria, Bernhard Steffen

1 in stock


    View other formats and editions of Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I by Tiziana Margaria

    Publisher: Springer International Publishing AG
    Publication Date: 20/10/2022
    ISBN13: 9783031198489, 978-3031198489
    ISBN10: 3031198484
    Also in:
    Artificial intelligence (AI) Mathematical theory of computation Software Engineering

    Description

    Book Synopsis

    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.

    The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.





    Table of Contents
    Specify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account