Skip to main content
  • Conference proceedings
  • © 2020

Leveraging Applications of Formal Methods, Verification and Validation: Applications

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Editors:

(view affiliations)

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

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 2020.

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-61467-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 109.99
Price excludes VAT (USA)

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

Table of contents (30 papers)

  1. Front Matter

    Pages i-xv
  2. Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions

    1. Front Matter

      Pages 1-1
    2. Reliable Smart Contracts

      • Gordon J. Pace, César Sánchez, Gerardo Schneider
      Pages 3-8
    3. Bitcoin Covenants Unchained

      • Massimo Bartoletti, Stefano Lande, Roberto Zunino
      Pages 25-42
    4. Specifying Framing Conditions for Smart Contracts

      • Bernhard Beckert, Jonas Schiffl
      Pages 43-59
    5. Making Tezos Smart Contracts More Reliable with Coq

      • Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
      Pages 60-72
    6. UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms

      • Lars Brünjes, Murdoch J. Gabbay
      Pages 73-88
    7. Native Custom Tokens in the Extended UTXO Model

      • Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones et al.
      Pages 89-111
    8. UTXO $$_{\textsf {ma}}$$ ma : UTXO with Multi-asset Support

      • Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones et al.
      Pages 112-130
    9. Efficient Static Analysis of Marlowe Contracts

      • Pablo Lamela Seijas, David Smith, Simon Thompson
      Pages 161-177
    10. Accurate Smart Contract Verification Through Direct Modelling

      • Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
      Pages 178-194
    11. Smart Derivatives: On-Chain Forwards for Digital Assets

      • Alfonso D. D. M. Rius, Eamonn Gashier
      Pages 195-211
  3. Automated Verification of Embedded Control Software

    1. Front Matter

      Pages 233-233
    2. Automated Verification of Embedded Control Software

      • Dilian Gurov, Paula Herber, Ina Schaefer
      Pages 235-239
    3. A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System

      • Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione et al.
      Pages 240-254
    4. Guess What I’m Doing!

      • Martin Fränzle, Paul Kröger
      Pages 255-272

Other Volumes

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

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
  2. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
  3. Leveraging Applications of Formal Methods, Verification and Validation: Applications

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
  4. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

About this book

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

The papers presented were carefully reviewed and selected for inclusion in the proceedings.

Each volume focusses on an individual topic with topical section headings within the volume:

Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.

Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.

Part III, Applications:
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

 

 

Keywords

  • architecture verification and validation
  • artificial intelligence
  • computer networks
  • computer programming
  • computer systems
  • distributed computer systems
  • embedded systems
  • formal logic
  • formal methods
  • model checking
  • software engineering
  • software quality
  • verification and validation
  • smart contracts
  • embedded control software
  • railway systems software
  • safety testing
  • blockchain

Editors and Affiliations

  • University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  • TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Bibliographic Information

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-61467-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 109.99
Price excludes VAT (USA)