Introduction to the special issue for SPIN 2021

[摘要] The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these selected papers and the selection process.

[发布日期] 2023-02-01