Proceedings 7th Symposium on Working Formal Methods
Logic in Computer Science
2023-09-25 v1
Abstract
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
Keywords
Cite
@article{arxiv.2309.12959,
title = {Proceedings 7th Symposium on Working Formal Methods},
author = {Horaţiu Cheval and Laurenţiu Leuştean and Andrei Sipoş},
journal= {arXiv preprint arXiv:2309.12959},
year = {2023}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
2025-09-16
Logic in Computer Science · Computer Science
Proceedings Third Symposium on Working Formal Methods
Mircea Marin, Adrian Crăciun
2019-09-04
Logic in Computer Science · Computer Science
Proceedings of the Sixth Working Formal Methods Symposium
Vlad Rusu
2022-09-20
Software Engineering · Computer Science
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
2021-11-16
Logic in Computer Science · Computer Science
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
2024-11-21
Logic in Computer Science · Computer Science
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers +3
2009-12-14
Artificial Intelligence · Computer Science
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
2023-11-16
Logic in Computer Science · Computer Science
Proceedings Eighth Symposium on Working Formal Methods
Mircea Marin, Laurenţiu Leuştean
2024-10-31
Software Engineering · Computer Science
Proceedings 2nd Workshop on Formal Methods in the Development of Software
César Andrés, Luis Llana
2012-07-10
Logic in Computer Science · Computer Science
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Maike Schwammberger, Mengwei Xu
2025-11-18
Software Engineering · Computer Science
Proceedings of the 6th Workshop on Formal Integrated Development Environment
José Proença, Andrei Paskevich
2021-08-06
Software Engineering · Computer Science
Proceedings Fifth Workshop on Formal Integrated Development Environment
Rosemary Monahan, Virgile Prevosto, Jose Proença
2019-12-23
Logic in Computer Science · Computer Science
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
2018-02-19
Logic in Computer Science · Computer Science
Proceedings 13th International Workshop on Developments in Computational Models
Sandra Alves, Ian Mackie
2024-10-01
Logic in Computer Science · Computer Science
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications
Delia Kesner, Petrucio Viana
2013-03-29
Logic in Computer Science · Computer Science
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
Shang-Wei Lin, Laure Petrucci
2014-07-09
Logic in Computer Science · Computer Science
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Lubos Brim, Jaco van de Pol
2009-12-17
Logic in Computer Science · Computer Science
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)
Matt Luckcuck, Marie Farrell
2022-09-28
Cryptography and Security · Computer Science
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta, Andrew Myers +4
2016-08-04
Logic in Computer Science · Computer Science
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck
2021-10-25
Logic in Computer Science · Computer Science
Proceedings Quantities in Formal Methods
Uli Fahrenberg, Axel Legay, Claus Thrane
2012-12-17
Programming Languages · Computer Science
Proceedings Seventh International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei Nemytykh
2019-08-20
Programming Languages · Computer Science
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
Rémy Haemmerlé, Jose Morales
2013-08-23
Logic in Computer Science · Computer Science
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky, Cyrille Artho
2013-01-01
Programming Languages · Computer Science
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
Emanuele De Angelis, Wim Vanhoof
2021-09-01