Treffer: C Programming Code Defect Detection based on Bounded Model Checking
Title:
C Programming Code Defect Detection based on Bounded Model Checking
Authors:
Source:
2025 International Conference on Intelligent Systems and Computational Networks (ICISCN) Intelligent Systems and Computational Networks (ICISCN), 2025 International Conference on. :1-5 Jan, 2025
Relation:
2025 International Conference on Intelligent Systems and Computational Networks (ICISCN)
Database:
IEEE Xplore Digital Library