Proceedings Eighth Symposium on Working Formal Methods

The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical con...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2024-10
Main Authors: Marin, Mircea, Leuştean, Laurenţiu
Format: Article
Language:English
Subjects:
Formal method
Software
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Working Formal Methods Symposium (FROM) is a series of workshops that aim to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or by creating or using software tools that apply theoretical contributions.
ISSN:2331-8422
DOI:10.48550/arxiv.2410.23020