Skip to main content
SpringerLink
Log in

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

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

  • Conference proceedings
  • © 2022

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, 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 13701)

Included in the following conference series:

Conference proceedings info: ISoLA 2022.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. SpecifyThis - Bridging Gaps Between Program Specification Paradigms

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. SpecifyThis – Bridging Gaps Between Program Specification Paradigms

      • Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
      Pages 3-6

    3. Deductive Verification Based Abstraction for Software Model Checking

      • Jesper Amilon, Christian Lidström, Dilian Gurov
      Pages 7-28

    4. Abstraction in Deductive Verification: Model Fields and Model Methods

      • David R. Cok, Gary T. Leavens
      Pages 29-44

    5. A Hoare Logic with Regular Behavioral Specifications

      • Gidon Ernst, Alexander Knapp, Toby Murray
      Pages 45-64

    6. Specification-Based Monitoring in C++

      • Klaus Havelund
      Pages 65-87

    7. Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS

      • Igor Konnov, Markus Kuppe, Stephan Merz
      Pages 88-105

    8. Selective Presumed Benevolence in Multi-party System Verification

      • Wolfgang Ahrendt, Gordon J. Pace
      Pages 106-123

    9. On the Pragmatics of Moving from System Models to Program Contracts

      • Thomas Santen
      Pages 124-138

  3. X-by-Construction Meets Runtime Verification

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. X-by-Construction Meets Runtime Verification

      • Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
      Pages 141-148

    3. Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

      • Satya Prakash Nayak, Daniel Neider, Martin Zimmermann
      Pages 149-173

    4. TriCo—Triple Co-piloting of Implementation, Specification and Tests

      • Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
      Pages 174-187

    5. Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins

      • Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, S. Lizeth Tapia Tarifa, Einar Broch Johnsen
      Pages 188-204

    6. On Formal Choreographic Modelling: A Case Study in EU Business Processes

      • Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto
      Pages 205-219

    7. Configurable-by-Construction Runtime Monitoring

      • Clemens Dubslaff, Maximilian A. Köhl
      Pages 220-241

    8. Runtime Verification of Correct-by-Construction Driving Maneuvers

      • Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
      Pages 242-263

    9. Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems

      • Houssam Abbas, Borzoo Bonakdarpour
      Pages 264-278

    10. Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept

      • Khanh Huu The Dam, Fabien Duchene, Thomas Given-Wilson, Maxime Cordy, Axel Legay
      Pages 279-298
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

  2. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

  3. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

  4. Leveraging Applications of Formal Methods, Verification and Validation. Practice

Keywords

About this book

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.



Editors and Affiliations

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

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation