Proceedings Third Symposium on Working Formal Methods

2019/09/02 by Mircea Marin, Adrian Crăciun · 8 citations
Computer Science · #cs.LO #cs.SC

paper · pdf · doi:10.4204/eptcs.303

published as EPTCS 303, 2019

arxiv created 2019/09/02 · arxiv updated 2019/09/04

Abstract

This volume contains the proceedings of FROM 2019: the Third Symposium on Working Formal Methods, held on September 3-5, 2019 in Timişoara (Romania). 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.

Cited by

• From Hybrid Modal Logic to Matching Logic and Back
• Verifying the DPLL Algorithm in Dafny
• (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
• Explaining SDN Failures via Axiomatisations
• Gröbner Bases with Reduction Machines
• Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
• Probabilities in Session Types
• An Operational Semantics of Graph Transformation Systems Using Symmetric Nets
• Finitely Supported Sets Containing Infinite Uniformly Supported Subsets

Related

• Proceedings 9th edition of Working Formal Methods Symposium
• Proceedings First Latin American Workshop on Formal Methods
• Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
• Proceedings 2nd Workshop on Formal Methods in the Development of Software
• Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)