Qilin Deng, Yu Wu, Fengli Sun, Wei Zhang. Multi-Property Bounded Model Checking for Java Numerical Error. In 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum, AIBDF 2023, Guangzhou, China, September 22-24, 2023. pages 104-109, ACM, 2023. [doi]
Abstract is missing.