Testing-Based Formal Verification for Software Dependability

Shaoying Liu. Testing-Based Formal Verification for Software Dependability. In 12th International Conference on Dependable Systems and Their Applications, DSA 2025, Sharjah, United Arab Emirates, November 24-26, 2025. IEEE, 2025. [doi]

Abstract

Abstract is missing.