Cover Image

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected f...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Neele, Thomas (Editor), Wijs, Anton (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edition:1st ed. 2025.
Series:Lecture Notes in Computer Science, 14624
Subjects:
Control engineering.
Robotics.
Automation.
Software engineering.
Artificial intelligence.
Computer engineering.
Computer networks .
Control, Robotics, Automation.
Software Engineering.
Artificial Intelligence.
Computer Engineering and Networks.
Online Access:https://doi.org/10.1007/978-3-031-66149-5
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Physical Description:XIV, 270 p. 114 illus., 62 illus. in color. online resource.
ISBN:9783031661495
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-66149-5

Similar Items