@inproceedings{a0d2e33504cd45a9b1e868ecc1c6f83c,
title = "Automated verification of loops with assignments only by recurrence solving and optimization problems",
abstract = "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.",
keywords = "Optimization problem, Program verification, Recurrence equations, Termination",
author = "Jianying Xing and Mengjun Li and Zhoujun Li",
year = "2010",
doi = "10.1109/ICFCC.2010.5497670",
language = "英语",
isbn = "9781424458226",
series = "Proceedings of the 2010 2nd International Conference on Future Computer and Communication, ICFCC 2010",
pages = "V331--V336",
booktitle = "Proceedings of the 2010 2nd International Conference on Future Computer and Communication, ICFCC 2010",
note = "2010 2nd International Conference on Future Computer and Communication, ICFCC 2010 ; Conference date: 21-05-2010 Through 24-05-2010",
}