Enhancing GenMC’s Usability and Performance
연구 분야: Verification
학회: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
초록
GENMC is a state-of-the-art stateless model checker that can verify safety properties of concurrent C/C++ programs under a wide range of memory consistency models, such as SC, TSO, RC11, and IMM. In this paper, we improve the performance and usability of GENMC: we provide a probabilistic estimate of the expected verification cost, we automate the porting of new memory models, and employ caching and other data structure optimizations to improve the tool’s performance.
📄 논문 정보
| 발행 연도 | 2024년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Germany |
| 사이트 | Springer |
| 좋아요 수 | 0 |