Enhancing the Effectiveness of STLs for GPUs via Bounded Model Checking

Open Webpage

Nikolaos Ioannis Deligiannis, Tobias Faller, Josie Esteban Rodriguez Condia, Riccardo Cantoro, Bernd Becker, Matteo Sonza Reorda

Published: 2025, Last Modified: 07 Jan 2026ACM Trans. Design Autom. Electr. Syst. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0