loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
A Maximum Weight Heuristic Method for Abstract State Computation
July 28-August 01
ISBN: 978-0-7695-3262-2
ASCII Text
x 
 
Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang, "A Maximum Weight Heuristic Method for Abstract State Computation," Computer Software and Applications Conference, Annual International, pp. 231-234, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.7,
author = {Li Li and Xiaoyu Song and Ming Gu and Jianmin Wang},
title = {A Maximum Weight Heuristic Method for Abstract State Computation},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {231-234},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.7},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - A Maximum Weight Heuristic Method for Abstract State Computation
SN - 0730-3157
SP231
EP234
A1 - Li Li,
A1 - Xiaoyu Song,
A1 - Ming Gu,
A1 - Jianmin Wang,
PY - 2008
KW - program verification
KW - model checking
KW - predicate abstraction
KW - weight
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
Program verification is an important task in software engineering. Abstraction plays a critical role in verifying infinite state systems by model checking. We present a novel method to automatically compute the abstract reachable state space of programs. An effective heuristic strategy is employed to find an abstract counter example, thus reducing the proof time for using theorem proving systems. In comparison with the previous work, the proposed approach demonstrates its effectiveness in predicate abstraction.
Index Terms:
program verification, model checking, predicate abstraction, weight
Citation:
Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang, "A Maximum Weight Heuristic Method for Abstract State Computation," compsac, pp.231-234, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.