Result: Enhancing the effectiveness of STLs for GPUs via bounded model checking

*Title*:

*Author/editor-in-chief*:

*Publication*:

Freiburg : Universität, 2025

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Notes*:

ACM transactions on design automation of electronic systems. - 30, 2 (2025) , 1-24, ISSN: 1557-7309

*DOI*:

10.1145/3706635

*Result*: Enhancing the effectiveness of STLs for GPUs via bounded model checking