SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Sicheng HaoYuhong NanZibin ZhengXiaohui LiuPublished in: ASE (2023)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint satisfaction
- constraint solving
- constraint programming
- temporal constraints
- constraint graph
- quantifier elimination
- systematic search
- interval arithmetic
- linear programming
- soft constraints
- backtracking algorithms
- tree search
- arc consistency
- search space
- constrained problems
- search algorithm
- constraint logic programming
- interval analysis
- optimization problems
- russian doll search