Advertisement

Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

  • Tiziana Margaria
  • Bernhard Steffen
Conference proceedings ISoLA 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11245)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. A Broader View on Verification: From Static to Runtime and Back

    1. Front Matter
      Pages 1-1
    2. Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
      Pages 3-7
    3. Borzoo Bonakdarpour, Cesar Sanchez, Gerardo Schneider
      Pages 8-27
    4. Dana Fisman, Hillel Kugler
      Pages 28-52
    5. Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
      Pages 53-63
    6. Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg
      Pages 64-74
    7. Fonenantsoa Maurica, David R. Cok, Julien Signoles
      Pages 75-91
    8. Xiaohong Chen, Grigore Roşu
      Pages 92-102
    9. Ankush Desai, Shaz Qadeer, Sanjit A. Seshia
      Pages 103-119
    10. Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
      Pages 120-136
  3. Evaluating Tools for Software Verification

    1. Front Matter
      Pages 137-137
    2. Markus Schordan, Dirk Beyer, Stephen F. Siegel
      Pages 139-143
    3. Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin
      Pages 179-196
    4. Denis Efremov, Mikhail Mandrykin, Alexey Khoroshilov
      Pages 216-234
    5. Marc Jasper, Bernhard Steffen
      Pages 235-257
  4. Statistical Model Checking

    1. Front Matter
      Pages 259-259
    2. Kim Guldstrand Larsen, Axel Legay
      Pages 261-270
    3. Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov
      Pages 271-286
    4. Cyrille Jegourel, Jun Sun, Jin Song Dong
      Pages 287-304
    5. Stefan Puch, Martin Fränzle, Sebastian Gerwinn
      Pages 305-321
    6. Pranav Ashok, Tomáš Brázdil, Jan Křetínský, Ondřej Slámečka
      Pages 322-335
    7. Pedro R. D’Argenio, Arnd Hartmanns, Sean Sedwards
      Pages 336-353
    8. Shiraj Arora, Axel Legay, Tania Richmond, Louis-Marie Traonouez
      Pages 354-371
    9. Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
      Pages 372-391
    10. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
      Pages 392-413
  5. RERS 2018

    1. Front Matter
      Pages 431-431
    2. Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
      Pages 433-447
  6. Doctoral Symposium

    1. Front Matter
      Pages 449-449
    2. Anna-Lena Lamprecht
      Pages 451-456
    3. Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
      Pages 457-476
    4. Georgios V. Pitsiladis, Petros Stefaneas
      Pages 477-493
  7. Back Matter
    Pages 495-496

Other volumes

  1. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
  2. Leveraging Applications of Formal Methods, Verification and Validation. Verification
    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
  3. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
  4. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

About these proceedings

Introduction

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

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, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 


Keywords

artificial intelligence computer organisation systems data security formal logic formal methods Internet of Things (IoT) mathematics of computing model checking privacy program compilers programming languages security systems semantics software engineering software evaluation specifications theory of computation verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.University of LimerickLimerickIreland
  2. 2.TU DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-03421-4
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-03420-7
  • Online ISBN 978-3-030-03421-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site