Multi-Property Bounded Model Checking for Java Numerical Error. - Qilin Deng; Yu Wu; Fengli Sun; Wei Zhang 264 (AIBDF, 2023)

A Strategy to Unwind Loops in Incremental Bounded Model Checking for Software. - Yu Wu; Qilin Deng; Wei Zhang 264 (AIBDF, 2023)