Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

This book presents the refereed proceedings of SPIN 2023, including 9 full papers and 2 short papers on model checking software, covering topics such as binary decision diagrams, concurrency, testing, synthesis, and explicit-state model checking.

Format: Paperback / softback
Length: 199 pages
Publication date: 02 May 2023
Publisher: Springer International Publishing AG

The 29th International Symposium on Model Checking Software (SPIN 2023) was held in Paris, France, from April 26 to 27, 2023. This book serves as a compilation of the refereed proceedings of the symposium, featuring 9 full papers and 2 short papers. These papers were meticulously reviewed and chosen from a total of 21 submissions, with each paper being organized into specific topical sections. The topical sections included binary decision diagrams, concurrency, testing, synthesis, and explicit-state model checking.

The SPIN 2023 symposium brought together experts and researchers from around the world to discuss the latest advancements and challenges in model checking software. The papers presented at the symposium covered a wide range of topics, including formal verification techniques, software testing methodologies, and model-based design and analysis.

One of the key themes of the symposium was the use of model checking in the development of secure and reliable software systems. The papers discussed various approaches to model checking, such as state space exploration, reachability analysis, and model transformation, and their applications in the verification of complex systems, such as communication protocols, operating systems, and embedded systems.

Another important topic of the symposium was the integration of model checking with other software engineering techniques, such as testing and simulation. The papers explored the benefits and challenges of combining model checking with these techniques, such as how to effectively combine model checking with test case generation and how to use simulation to accelerate the verification process.

The symposium also featured several keynote presentations by prominent researchers in the field of model checking software. These presentations provided insights into the latest research trends, emerging technologies, and future directions in the field.

Overall, the SPIN 2023 symposium was a successful event that brought together experts from various disciplines to discuss the latest developments in model checking software. The papers presented at the symposium provided valuable insights into the state-of-the-art of model checking and its applications in software engineering.

The 29th International Symposium on Model Checking Software (SPIN 2023) was held in Paris, France, from April 26 to 27, 2023. This book serves as a compilation of the refereed proceedings of the symposium, featuring 9 full papers and 2 short papers. These papers were meticulously reviewed and chosen from a total of 21 submissions, with each paper being organized into specific topical sections. The topical sections included binary decision diagrams, concurrency, testing, synthesis, and explicit-state model checking.

The SPIN 2023 symposium brought together experts and researchers from around the world to discuss the latest advancements and challenges in model checking software. The papers presented at the symposium covered a wide range of topics, including formal verification techniques, software testing methodologies, and model-based design and analysis.

One of the key themes of the symposium was the use of model checking in the development of secure and reliable software systems. The papers discussed various approaches to model checking, such as state space exploration, reachability analysis, and model transformation, and their applications in the verification of complex systems, such as communication protocols, operating systems, and embedded systems.

Another important topic of the symposium was the integration of model checking with other software engineering techniques, such as testing and simulation. The papers explored the benefits and challenges of combining model checking with these techniques, such as how to effectively combine model checking with test case generation and how to use simulation to accelerate the verification process.

The symposium also featured several keynote presentations by prominent researchers in the field of model checking software. These presentations provided insights into the latest research trends, emerging technologies, and future directions in the field.

Overall, the SPIN 2023 symposium was a successful event that brought together field experts from various disciplines to discuss the latest developments in model checking software. The papers presented at the symposium provided valuable insights into the state-of-the-art of model checking and its applications in software engineering.

The 29th International Symposium on Model Checking Software (SPIN 2023) was held in Paris, France, from April 26 to 27, 2023. This book serves as a compilation of the refereed proceedings of the symposium, featuring 9 full papers and 2 short papers. These papers were meticulously reviewed and chosen from a total of 21 submissions, with each paper being organized into specific topical sections. The topical sections included binary decision diagrams, concurrency, testing, synthesis, and explicit-state model checking.

The SPIN 2023 symposium brought together experts and researchers from around the world to discuss the latest advancements and challenges in model checking software. The papers presented at the symposium covered a wide range of topics, including formal verification techniques, software testing methodologies, and model-based design and analysis.

One of the key themes of the symposium was the use of model checking in the development of secure and reliable software systems. The papers discussed various approaches to model checking, such as state space exploration, reachability analysis, and model transformation, and their applications in the verification of complex systems, such as communication protocols, operating systems, and embedded systems.

Another important topic of the symposium was the integration of model checking with other software engineering techniques, such as testing and simulation. The papers explored the benefits and challenges of combining model checking with these techniques, such as how to effectively combine model checking with test case generation and how to use simulation to accelerate the verification process.

The symposium also featured several keynote presentations by prominent researchers in the field of model checking software. These presentations provided insights into the latest research trends, emerging technologies, and future directions in the field.

Overall, the SPIN 2023 symposium was a successful event that brought field experts from various disciplines to discuss the latest developments in model checking software. The papers presented at the symposium provided valuable insights into the state-of-the-art of model checking and its applications in software engineering.

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