[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

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

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

  • Conference proceedings
  • © 2025

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 15221)

Included in the following conference series:

Conference proceedings info: ISoLA 2024.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 49.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 64.99
Price includes VAT (United Kingdom)
  • 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

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

Table of contents (22 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Specify This

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

      • Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich
      Pages 3-7

    3. Deductively Verified Program Models for Software Model Checking

      • Jesper Amilon, Dilian Gurov
      Pages 8-25

    4. Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems

      • Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
      Pages 26-47

    5. Towards the Formal Analysis of Algorithmic Requirements

      • Lorenzo Cappelletti, Roberto Cavada, Alessandro Cimatti, Marco Keppel
      Pages 48-65

    6. Interest Beyond Violation: On Points-of-Interest in Runtime Verification

      • Christian Colombo, Gordon J. Pace, Gerardo Schneider
      Pages 66-78

    7. Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification

      • Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich
      Pages 79-105

    8. Adventures in FRET and Specification

      • Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan
      Pages 106-123

    9. Challenges of Multilingual Program Specification and Analysis

      • Carlo A. Furia, Abhishek Tiwari
      Pages 124-143

    10. Towards Integrating Copiloting and Formal Methods

      • George Granberry, Wolfgang Ahrendt, Moa Johansson
      Pages 144-158

    11. High-Level Program Properties in Frama-C: Definition, Verification and Deduction

      • Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
      Pages 159-177

    12. Formal Foundations of Consistency in Model-Driven Development

      • Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
      Pages 178-200

    13. Context-Aware Contracts as a Lingua Franca for Behavioral Specification

      • Marco Scaletta, Reiner Hähnle
      Pages 201-219

    14. SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models

      • Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodriguez-Navas, Oscar Ljungkrantz, Henrik Lönn
      Pages 220-246

    15. Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem

      • Tiago Lopes Soares, Ion Chirica, Mário Pereira
      Pages 247-265

  3. Scalable Verification and Validation

    1. Front Matter

      Pages 267-267
      Download chapter PDF

    2. Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary)

      • Marieke Huisman, Stephan Merz, Cristina Seceleanu
      Pages 269-273

    3. SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs

      • Frédéric Loulergue, Jordan Ischard
      Pages 274-295

    4. A Theory of Probabilistic Contracts

      • Anton Hampus, Mattias Nyberg
      Pages 296-319
Back to top

Other volumes

  1. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

  2. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

  3. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

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

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

Editors and Affiliations

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

    Tiziana Margaria

  • TU Dortmund University, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation