SPIN 2023
The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation. The proceedings of SPIN 2023 will be published in Springer’s Lecture Notes in Computer Science series.
Submitted by Anonymous
on
The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation. The proceedings of SPIN 2023 will be published in Springer’s Lecture Notes in Computer Science series.
Submitted by Anonymous
on