Crossmark

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification

Published Online: 2023-10-06

Published Print: 2024-12

Authors

Pani, Thomas https://orcid.org/0000-0002-4434-0248
Weissenbacher, Georg

Zuleger, Florian
Funding

Funding for this research was provided by:

TU Wien
License Information

Text and Data Mining valid from 2023-10-06

Version of Record valid from 2023-10-06
More Information

Article History

Received: 16 March 2021

Accepted: 13 August 2023

First Online: 6 October 2023

Document is current