Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan. An HPC Practitioner's Workbench for Formal Refinement Checking. In Charith Mendis, Lawrence Rauchwerger, editors, Languages and Compilers for Parallel Computing - 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers. Volume 13829 of Lecture Notes in Computer Science, pages 64-72, Springer, 2022. [doi]
Abstract is missing.