Published: 2nd September 2019
DOI: 10.4204/EPTCS.303
ISSN: 2075-2180

EPTCS 303

Proceedings Third Symposium on
Working Formal Methods
Timişoara, Romania, 3-5 September 2019

Edited by: Mircea Marin and Adrian Crăciun
Preface
Mircea Marin and Adrian Crăciun		1
Verifying the DPLL Algorithm in Dafny
Cezar-Constantin Andrici and Ştefan Ciobâcă		3
From Hybrid Modal Logic to Matching Logic and Back
Ioana Leuştean, Natalia Moangă and Traian Florin Şerbănuţă		16
(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Vlad Rusu and David Nowak		32
Explaining SDN Failures via Axiomatisations
Georgiana Caltais		48
Gröbner Bases with Reduction Machines
Georgiana Şurlea and Adrian Crăciun		61
Proof–Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Isabela Drămnesc and Tudor Jebelean		76
Probabilities in Session Types
Bogdan Aman and Gabriel Ciobanu		92
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets
Lorenzo Capra		107
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
Andrei Alexandru and Gabriel Ciobanu		120

Preface

This volume of EPTCS contains the proceedings of the Third Symposium on Working Formal Methods (FROM 2019), held on September 3-5 2019 in Timişoara, Romania.

This workshop featured nine invited talks, nine presentations of regular papers, and six presentations of short papers. These proceedings contain the full version of the regular papers.

FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. Areas and formalisms of interest to this workshop included:

Methods of interest included: Applications of interest included:

We thank invited speakers and authors for their contributions to this EPTCS volume, and the PC members of FROM 2019 for their help in the review process. We are grateful to the editor-in-chief of EPTCS, Professor Rob van Glabbeek, for his support.

FROM 2019 invited speakers:

  1. Marius Bozga, CNRS, France
  2. Marcello Bonsangue, Leiden University and CWI Amsterdam, Netherlands
  3. Mădălina Eraşcu, West University of Timişoara, Romania
  4. Florin Crăciun, West University of Timişoara, Romania
  5. Dorel Lucanu, Alexandru Ioan Cuza University of Iaşi, Romania
  6. Laurenţiu Leuştean, University of Bucharest, Romania
  7. Temur Kutsia, Johannes Kepler University, Linz, Austria
  8. Peter Csaba Ölveczky, University of Oslo, Norway
  9. Sorin Stratulat, University of Lorraine, Metz, France

FROM 2019 PC members:

  1. Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Iaşi, Romania
  2. Ştefan Ciobâcă, Alexandru Ioan Cuza University of Iaşi, Romania
  3. Cătălin Dima, Université Paris-Est Créteil, France
  4. Jetty Kleijn, Leiden University, Holland
  5. Stefan Leue, University of Konstanz, Germany
  6. Victor Mitrana, University of Bucharest
  7. Paulo Oliva, Queen Mary University of London, England
  8. Ion Petre, University of Turku
  9. Andrei Popescu, Middlesex University London, England
  10. Vlad Rusu, INRIA Lille, France
  11. Viorica Şofronie-Stokkermans, University of Koblenz-Landau, Germany

PC chairs:

Mircea Marin and Adrian Crăciun, West University of Timişoara, Romania