SPIN 2024

Date: Apr 10, 2024 6:00 am – Apr 11, 2024 6:00 pm
Location: Luxembourg City, Luxembourg
URL: https://spin-web.github.io/SPIN2024/
The 30th International SPIN symposium on Model Checking of Software (SPIN 2024) will be held in Luxembourg on 10 and 11 April 2023. SPIN 2024 is the latest in a successful series of workshops and symposia for practitioners and researchers interested in symbolic and state space-based techniques for the validation and analysis of software systems. Techniques and empirical evaluations based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on the combination of explicit representations with other representations, are the focus of this symposium. SPIN 2024 will be colocated with the 27th European Joint Conferences on Theory and Practice of Software (ETAPS 2024).
Submitted by Amy Karns on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.