Skip to Main Content
Based on techniques of solving recurrence equations and optimization problems, we present a practical approach for verifying program including loops with assignments only. We implement this approach on the platform of Mathmatica. The experimental results demonstrate the power of our approach.
Future Computer and Communication (ICFCC), 2010 2nd International Conference on (Volume:3 )
Date of Conference: 21-24 May 2010