Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

This book presents the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method,SOFL+MSVL 2022, held in Madrid. The papers cover topics such as model checking, model analysis, formal specification, and algorithms and verification, with 12 revised full papers selected from 26 submissions.

Format: Paperback / softback
Length: 151 pages
Publication date: 25 March 2023
Publisher: Springer International Publishing AG

The 11th International Workshop on Structured Object-Oriented Formal Language and Method,SOFL+MSVL 2022, was held in Madrid, Spain, in October 2022. This book serves as a comprehensive collection of refereed workshop proceedings, encompassing the presentations and discussions from the event. Out of 26 submissions, 12 revised full papers were carefully selected and included in the volume. These papers are organized into four topical sections:

Model Checking & Markov Decision Process: This section explores the techniques and methodologies for performing model checking and analysis, focusing on formal verification of systems and algorithms.

Model Analysis & Tool Implementation: This section focuses on the development and implementation of tools and frameworks for modeling, analysis, and verification of object-oriented systems.

Formal Specification & Testing: This section explores the techniques and methodologies for writing and testing formal specifications, ensuring the correctness and reliability of software systems.

Algorithms & Verification: This section explores the design and analysis of algorithms, as well as techniques for verifying their correctness and efficiency.

Each paper in the volume underwent a rigorous review process, ensuring that the content is of the highest quality and relevance to the field of structured object-oriented formal language and method. The contributions made by the authors and participants at SOFL+MSVL 2022 have significantly advanced our understanding of the latest developments and challenges in this area.

This book is a valuable resource for researchers, practitioners, and students interested in the areas of software engineering, formal methods, and object-oriented programming. It provides a platform for exchanging ideas, sharing expertise, and fostering collaborations among experts in the field.

We would like to express our gratitude to the organizers, reviewers, and contributors of SOFL+MSVL 2022 for their hard work and dedication to making this workshop a success. We also extend our thanks to the publishers for their support in publishing this proceedings.
The 11th International Workshop on Structured Object-Oriented Formal Language and Method,SOFL+MSVL 2022, was held in Madrid, Spain, in October 2022. This book serves as a comprehensive collection of refereed workshop proceedings, encompassing the presentations and discussions from the event. Out of 26 submissions, 12 revised full papers were carefully selected and included in the volume. These papers are organized into four topical sections:

Model Checking & Markov Decision Process: This section explores the techniques and methodologies for performing model checking and analysis, focusing on formal verification of systems and algorithms.

Model Analysis & Tool Implementation: This section focuses on the development and implementation of tools and frameworks for modeling, analysis, and verification of object-oriented systems.

Formal Specification & Testing: This section explores the techniques and methodologies for writing and testing formal specifications, ensuring the correctness and reliability of software systems.

Algorithms & Verification: This section explores the design and analysis of algorithms, as well as techniques for verifying their correctness and efficiency.

Each paper in the volume underwent a rigorous review process, ensuring that the content is of the highest quality and relevance to the field of structured object-oriented formal language and method. The contributions made by the authors and participants at SOFL+MSVL 2022 have significantly advanced our understanding of the latest developments and challenges in this area.

This book is a valuable resource for researchers, practitioners, and students interested in the areas of software engineering, formal methods, and object-oriented programming. It provides a platform for exchanging ideas, sharing expertise, and fostering collaborations among experts in the field.

We would like to express our gratitude to the organizers, reviewers, and contributors of SOFL+MSVL 2022 for their hard work and dedication to making this workshop a success. We also extend our thanks to the publishers for their support in publishing this proceedings.

The 11th International Workshop on Structured Object-Oriented Formal Language and Method,SOFL+MSVL 2022, was held in Madrid, Spain, in October 2022. This book serves as a comprehensive collection of refereed workshop proceedings, encompassing the presentations and discussions from the event. Out of 26 submissions, 12 revised full papers were carefully selected and included in the volume. These papers are organized into four topical sections:

Model Checking & Markov Decision Process: This section explores the techniques and methodologies for performing model checking and analysis, focusing on formal verification of systems and algorithms.

Model Analysis & Tool Implementation: This section focuses on the development and implementation of tools and frameworks for modeling, analysis, and verification of object-oriented systems.

Formal Specification & Testing: This section explores the techniques and methodologies for writing and testing formal specifications, ensuring the correctness and reliability of software systems.

Algorithms & Verification: This section explores the design and analysis of algorithms, as well as techniques for verifying their correctness and efficiency.

Each paper in the volume underwent a rigorous review process, ensuring that the content is of the highest quality and relevance to the field of structured object-oriented formal language and method. The contributions made by the authors and participants at SOFL+MSVL 2022 have significantly advanced our understanding of the latest developments and challenges in this area.

This book is a valuable resource for researchers, practitioners, and students interested in the areas of software engineering, formal methods, and object-oriented programming. It provides a platform for exchanging ideas, sharing expertise, and fostering collaborations among experts in the field.

Weight: 261g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031294754
Edition number: 1st ed. 2023