Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang 0006, Franck van Breugel. jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. ACM SIGSOFT Software Engineering Notes, 48(1):32-36, January 2023. [doi]
Abstract is missing.