@inproceedings{e1d0ff2283084633919995282d8b992d,
title = "Automated program verification using generation of invariants",
abstract = "Program verification based on invariant generation is a central issue in recent years. Invariants are key to deductive verification of imperative programs. In this paper, depending on linear invariants and polynomial loop invariants, we present a practical program verification framework. The safety property and the termination property can be verified automatically. The experimental results demonstrate the power of our approach.",
keywords = "Linear invariant, Polynomial loop invariant, Program verification, Safety property, Termination",
author = "Jianying Xing and Mengjun Li and Zhoujun Li",
year = "2010",
doi = "10.1109/QSIC.2010.38",
language = "英语",
isbn = "9780769541310",
series = "Proceedings - International Conference on Quality Software",
pages = "300--305",
booktitle = "Proceedings - 10th International Conference on Quality Software, QSIC 2010",
note = "10th International Conference on Quality Software, QSIC 2010 ; Conference date: 14-07-2010 Through 15-07-2010",
}