Skip to main content
  • Conference proceedings
  • © 2021

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ISoLA: International Symposium on Leveraging Applications of Formal Methods

Conference proceedings info: ISoLA 2021.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-89159-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

    Pages i-xii
  2. 6th International School on Tool-Based Rigorous Engineering of Software Systems

    1. Front Matter

      Pages 1-2
    2. An Introduction to Graphical Modeling of CI/CD Workflows with Rig

      • Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
      Pages 3-17
    3. Integrating External Services in DIME

      • Hafiz Ahmad Awais Chaudhary, Tiziana Margaria
      Pages 41-54
    4. Asking Why

      • Barbara Steffen, Bernhard Steffen
      Pages 55-67
  3. Industrial Track

    1. Front Matter

      Pages 69-69
    2. Formal Methods for a Digital Industry

      • Falk Howar, Hardi Hungar, Andreas Rausch
      Pages 71-76
    3. Agile Business Engineering: From Transformation Towards ContinuousInnovation

      • Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
      Pages 77-94
    4. Towards Living Canvases

      • Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria
      Pages 95-116
    5. Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles

      • Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar
      Pages 129-145
  4. Programming: What is Next

    1. Front Matter

      Pages 193-193
    2. Programming - What is Next?

      • Klaus Havelund, Bernhard Steffen
      Pages 195-201
    3. Time for All Programs, Not Just Real-Time Programs

      • Edward A. Lee, Marten Lohstroh
      Pages 213-232

Other Volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation

    10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

About this book

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.  

 

Keywords

  • artificial intelligence
  • automation
  • computer programming
  • computer systems
  • databases
  • distributed computer systems
  • embedded systems
  • formal logic
  • formal methods
  • knowledge-based system
  • object-oriented programming
  • program compilers
  • programming languages
  • semantics
  • signal processing
  • software architecture
  • software design
  • software engineering
  • verification
  • verification and validation

Editors and Affiliations

  • University of Limerick, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-89159-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)