Back to Search
Start Over
Guest editorial to the special section on SEFM'22.
- Source :
-
Software & Systems Modeling . Jun2024, Vol. 23 Issue 3, p603-604. 2p. - Publication Year :
- 2024
-
Abstract
- This document is a guest editorial for a special section in the journal "Software & Systems Modeling." The special section features revised and extended versions of selected papers from the 20th International Conference on Software Engineering and Formal Methods (SEFM'22), which was held in Berlin, Germany in September 2022. The SEFM conference series aims to advance the state of the art in formal methods and their integration into practical software engineering methods and tools. The special section includes papers on topics such as user-centric analysis, automated generation of finite automata, formal specifications of smart contracts, distributed verification of programs, and abstraction-based verification of neural networks. The authors express their gratitude to the authors and reviewers for their contributions and thank Springer for their support in publishing the special section. [Extracted from the article]
Details
- Language :
- English
- ISSN :
- 16191366
- Volume :
- 23
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Software & Systems Modeling
- Publication Type :
- Academic Journal
- Accession number :
- 178462700
- Full Text :
- https://doi.org/10.1007/s10270-024-01174-0