The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination.
Dmitry A. KondratyevIlya V. MaryasovValery A. NepomniaschyPublished in: Autom. Control. Comput. Sci. (2019)
Keyphrases
- objective function
- dynamic programming
- detection method
- computational complexity
- computational cost
- high accuracy
- computationally efficient
- synthetic data
- multiresolution
- high precision
- experimental evaluation
- classification method
- theoretical analysis
- clustering method
- noise resistant
- moment invariants
- segmentation algorithm
- support vector machine
- prior knowledge
- training set
- video sequences