Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Crossref DOI link: https://doi.org/10.1007/s10703-023-00439-6
Published Online: 2023-10-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pani, Thomas http://orcid.org/0000-0002-4434-0248
Weissenbacher, Georg
Zuleger, Florian
Funding for this research was provided by:
TU Wien
Text and Data Mining valid from 2023-10-06
Version of Record valid from 2023-10-06
Article History
Received: 16 March 2021
Accepted: 13 August 2023
First Online: 6 October 2023