Skip to main content
SpringerLink
Log in

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

  • Conference proceedings
  • Nov 2024

Overview

Editors:
  1. Tiziana Margaria

    1. University of Limerick, CSIS and Lero, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen

    1. TU Dortmund University, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 15223)

Buy print copy

About this book

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer programming
  • distributed computer systems
  • embedded systems
  • formal languages
  • formal logic
  • formal methods
  • formal verifications
  • object-oriented programming
  • software architecture
  • verification and validation

Editors and Affiliations

  • University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

  • Book Title: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

  • Book Subtitle: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

  • Editors: Tiziana Margaria, Bernhard Steffen

  • Series Title: Lecture Notes in Computer Science

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2025

  • Softcover ISBN: 978-3-031-75389-3Due: 06 December 2024

  • eBook ISBN: 978-3-031-75390-9Due: 06 December 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XI, 207

  • Number of Illustrations: 72 b/w illustrations

Publish with us

Policies and ethics

Back to top

Search

Navigation