Advertisement

© 2020

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

  • Emil Sekerinski
  • Nelma Moreira
  • José N. Oliveira
  • Daniel Ratiu
  • Riccardo Guidotti
  • Marie Farrell
  • Matt Luckcuck
  • Diego Marmsoler
  • José Campos
  • Troy Astarte
  • Laure Gonnord
  • Antonio Cerone
  • Luis Couto
  • Brijesh Dongol
  • Martin Kutrib
  • Pedro Monteiro
  • David Delmas
Conference proceedings FM 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 12233)

Table of contents

  1. Front Matter
    Pages i-xviii
    PDF

  2. HFM 2019 - History of Formal Methods Workshop

    1. Front Matter
      Pages 1-13
      PDF
    2. Flow Diagrams, Assertions, and Formal Methods
      Mark Priestley
      Pages 15-34
      PDF
    3. The School of Squiggol
      Jeremy Gibbons
      Pages 35-53
      PDF
    4. Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
      Cliff B. Jones
      Pages 54-72
      PDF
    5. Specification with Class: A Brief History of Object-Z
      Graeme Smith, David J. Duke
      Pages 73-86
      PDF
    6. Formal Specifications and Software Testing, a Fruitful Convergence
      Marie-Claude Gaudel
      Pages 87-94
      PDF
    7. From Manuscripts to Programming Languages: An Archivist Perspective
      Alexandra Vidal, Ana Sandra Meneses, António Sousa
      Pages 95-102
      PDF
    8. What Have Formal Methods Ever Done for Us? An Audience Discussion
      Troy Kaighin Astarte
      Pages 103-113
      PDF

  3. NSAD 2019 - 8th Workshop on Numerical and Symbolic Abstract Domains

    1. Front Matter
      Pages 115-118
      PDF
    2. Combination of Boxes and Polyhedra Abstractions for Constraint Solving
      Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet
      Pages 119-135
      PDF
    3. An Abstract Domain for Objects in Dynamic Programming Languages
      Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
      Pages 136-151
      PDF

  4. OpenCERT 2019 - 9th International Workshop on Open Community Approaches to Education, Research and Technology

    1. Front Matter
      Pages 153-156
      PDF
    2. A Survey of Learning Methods in Open Source Software
      Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone
      Pages 157-166
      PDF
    3. A Calculus of Chaos in Stochastic Compilation
      Peter T. Breuer, Simon J. Pickin
      Pages 167-184
      PDF
    4. Runtime Verification of Linux Kernel Security Module
      Denis Efremov, Ilya Shchepetkov
      Pages 185-199
      PDF
    5. Open and Interactive Learning Resources for Algorithmic Problem Solving
      João F. Ferreira, Alexandra Mendes
      Pages 200-208
      PDF
    6. Challenges Faced by Students in an Open Source Software Undergraduate Course
      Dias Issa
      Pages 209-223
      PDF
    7. Open Source Software as a Learning Tool for Computer Science Students
      Assiya Khuzyakhmetova, Aidarbek Suleimenov
      Pages 224-232
      PDF

  5. Overture 2019 - 17th Overture Workshop

    1. Front Matter
      Pages 233-235
      PDF
    2. Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation
      Ken Pierce, Carl Gamble, David Golightly, Roberto Palacín
      Pages 237-253
      PDF
    3. Migrating the INTO-CPS Application to the Cloud
      Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
      Pages 254-271
      PDF
    4. Towards a Static Check of FMUs in VDM-SL
      Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
      Pages 272-288
      PDF
    5. ViennaDoc: An Animatable and Testable Specification Documentation Tool
      Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang et al.
      Pages 289-302
      PDF

  6. Refine 2019 - 19th Refinement Workshop

    1. Front Matter
      Pages 303-305
      PDF
    2. A Map of Asynchronous Communication Models
      Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec
      Pages 307-322
      PDF
    3. An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities
      Robert J. Colvin, Kirsten Winter
      Pages 323-341
      PDF
    4. Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors
      Graeme Smith, Lindsay Groves
      Pages 342-357
      PDF
    5. Towards a Method for the Decomposition by Refinement in Event-B
      Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit
      Pages 358-370
      PDF
    6. Transformations for Generating Type Refinements
      Douglas R. Smith, Stephen J. Westfold
      Pages 371-387
      PDF
    7. Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study
      Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson
      Pages 388-405
      PDF

  7. RPLA 2019 - Workshop on Reversibility in Programming, Languages, and Automata

    1. Front Matter
      Pages 407-412
      PDF
    2. Reversible Programs Have Reversible Semantics
      Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
      Pages 413-427
      PDF
    3. Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems
      Kamil Khadiev, Aliya Khadieva
      Pages 428-442
      PDF
    4. Quotients and Atoms of Reversible Languages
      Hellis Tamm
      Pages 443-455
      PDF

  8. SASB 2019 - 10th International Workshop on Static Analysis and Systems Biology

    1. Front Matter
      Pages 457-459
      PDF
    2. Bayesian Verification of Chemical Reaction Networks
      Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate
      Pages 461-479
      PDF
    3. Nested Event Representation for Automated Assembly of Cell Signaling Network Models
      Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov
      Pages 480-499
      PDF

  9. TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis

    1. Front Matter
      Pages 501-506
      PDF
    2. PrideMM: Second Order Model Checking for Memory Consistency Models
      Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikoláš Janota
      Pages 507-525
      PDF
    3. Fkcc: The Farkas Calculator
      Christophe Alias
      Pages 526-536
      PDF
    4. Handling Heap Data Structures in Backward Symbolic Execution
      Robert Husák, Jan Kofroň, Filip Zavoral
      Pages 537-556
      PDF
    5. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities
      Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
      Pages 557-572
      PDF
  10. Back Matter
    Pages 573-575
    PDF

Other volumes

  1. Formal Methods – The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  2. Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
  3. Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

About these proceedings

Introduction

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

Keywords

computer hardware computer networks computer programming artificial intelligence computer science computer systems embedded systems engineering formal languages formal logic formal methods internet linguistics mathematics object-oriented programming signal processing software architecture software design software engineering theoretical computer science

Editors and affiliations

  1. 1.McMaster UniversityHamiltonCanada
  2. 2.University of PortoPortoPortugal
  3. 3.University of MinhoBragaPortugal
  4. 4.Argo AiMunichGermany
  5. 5.University of PisaPisaItaly
  6. 6.University of LiverpoolLiverpoolUK
  7. 7.University of LiverpoolLiverpoolUK
  8. 8.University of ExeterExeterUK
  9. 9.University of MinhoBragaPortugal
  10. 10.University of NewcastleNewcastle upon TyneUK
  11. 11.Claude Bernard UniversityLyonFrance
  12. 12.Nazarbayev UniversityNur-SultanKazakhstan
  13. 13.University of SurreyGuildfordUK
  14. 14.University of SurreyGuildfordUK
  15. 15.University of GiessenGiessenGermany
  16. 16.University of LisbonLisbonPortugal
  17. 17.Airbus Operations S.A.S.ToulouseFrance

Bibliographic information