Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Front Matter ....Pages i-xviii
Front Matter ....Pages 1-13
 Flow Diagrams, Assertions, and Formal Methods  (Mark Priestley)....Pages 15-34
 The School of Squiggol  (Jeremy Gibbons)....Pages 35-53
 Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads  (Cliff B. Jones)....Pages 54-72
 Specification with Class: A Brief History of Object-Z  (Graeme Smith, David J. Duke)....Pages 73-86
 Formal Specifications and Software Testing, a Fruitful Convergence  (Marie-Claude Gaudel)....Pages 87-94
 From Manuscripts to Programming Languages: An Archivist Perspective  (Alexandra Vidal, Ana Sandra Meneses, António Sousa)....Pages 95-102
 What Have Formal Methods Ever Done for Us? An Audience Discussion  (Troy Kaighin Astarte)....Pages 103-113
Front Matter ....Pages 115-118
 Combination of Boxes and Polyhedra Abstractions for Constraint Solving  (Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet)....Pages 119-135
 An Abstract Domain for Objects in Dynamic Programming Languages  (Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni)....Pages 136-151
Front Matter ....Pages 153-156
 A Survey of Learning Methods in Open Source Software  (Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone)....Pages 157-166
 A Calculus of Chaos in Stochastic Compilation  (Peter T. Breuer, Simon J. Pickin)....Pages 167-184
 Runtime Verification of Linux Kernel Security Module  (Denis Efremov, Ilya Shchepetkov)....Pages 185-199
 Open and Interactive Learning Resources for Algorithmic Problem Solving  (João F. Ferreira, Alexandra Mendes)....Pages 200-208
 Challenges Faced by Students in an Open Source Software Undergraduate Course  (Dias Issa)....Pages 209-223
 Open Source Software as a Learning Tool for Computer Science Students  (Assiya Khuzyakhmetova, Aidarbek Suleimenov)....Pages 224-232
Front Matter ....Pages 233-235
 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
 Migrating the INTO-CPS Application to the Cloud  (Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen)....Pages 254-271
 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
 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
Front Matter ....Pages 303-305
 A Map of Asynchronous Communication Models  (Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec)....Pages 307-322
 An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities  (Robert J. Colvin, Kirsten Winter)....Pages 323-341
 Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors  (Graeme Smith, Lindsay Groves)....Pages 342-357
 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
 Transformations for Generating Type Refinements  (Douglas R. Smith, Stephen J. Westfold)....Pages 371-387
 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
Front Matter ....Pages 407-412
 Reversible Programs Have Reversible Semantics  (Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama)....Pages 413-427
 Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems  (Kamil Khadiev, Aliya Khadieva)....Pages 428-442
 Quotients and Atoms of Reversible Languages  (Hellis Tamm)....Pages 443-455
Front Matter ....Pages 457-459
 Bayesian Verification of Chemical Reaction Networks  (Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate)....Pages 461-479
 Nested Event Representation for Automated Assembly of Cell Signaling Network Models  (Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov)....Pages 480-499
Front Matter ....Pages 501-506
 PrideMM: Second Order Model Checking for Memory Consistency Models  (Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikoláš Janota)....Pages 507-525
 Fkcc: The Farkas Calculator  (Christophe Alias)....Pages 526-536
 Handling Heap Data Structures in Backward Symbolic Execution  (Robert Husák, Jan Kofroň, Filip Zavoral)....Pages 537-556
 AuthCheck: Program-State Analysis for Access-Control Vulnerabilities  (Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden)....Pages 557-572
Back Matter ....Pages 573-575