Crossmark

Trading Space for Simplicity in Stateless Model Checking

Crossref DOI link: https://doi.org/10.1007/978-3-031-73751-0_8

Published Online: 2024-10-23

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Abdulla, Parosh Aziz https://orcid.org/0000-0001-6832-6611
Atig, Mohamed Faouzi https://orcid.org/0000-0001-8229-3481
Das, Sarbojit https://orcid.org/0009-0004-7029-1904
Jonsson, Bengt https://orcid.org/0000-0001-7897-601X
Sagonas, Konstantinos https://orcid.org/0000-0001-9657-0179
License Information

Text and Data Mining valid from 2024-10-23

Version of Record valid from 2024-10-23
More Information

Chapter History

First Online: 23 October 2024