Modular verification of concurrent programs via sequential model checking

DOI10.1007/978-3-030-01090-4_14zbMath1517.68249arXiv2106.00732OpenAlexW4299513992MaRDI QIDQ6109590

Sharon Shoham, Dan Rasin, Orna Grumberg

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.00732

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Modular verification of concurrent programs via sequential model checking