IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Maximum Weight Heuristic Method for Abstract State Computation

2008 IEEE 32nd International Computer Software and Applications Conference (COMPSAC)

Author(s): Li Li ; Xiaoyu Song ; Ming Gu ; Jianmin Wang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2008
Conference Location: Turku, Finland
Conference Date: 28 July 2008
Page(s): 231 - 234
ISBN (CD): 978-0-7695-3262-2
ISSN (Paper): 0730-3157
DOI: 10.1109/COMPSAC.2008.7
Regular:

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... View More

Advertisement