A K-Induction Method Extended with Value Analysis for C Program Safety Verification.
Hui GuoChunyan HouJinsong WangChen ChenPublished in: TrustCom (2022)
Keyphrases
- error rate
- computational cost
- high precision
- experimental evaluation
- prior knowledge
- image analysis
- similarity measure
- preprocessing
- high accuracy
- statistical analysis
- detection algorithm
- segmentation method
- evolutionary algorithm
- multiresolution
- pairwise
- data sets
- logic programs
- synthetic data
- model checking
- image segmentation