IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic verification of loop invariants

2010 IEEE 26th International Conference on Software Maintenance (ICSM)

Author(s): Ponsini, O. ; Collavizza, H. ; Fedele, C. ; Michel, C. ; Rueher, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2010
Conference Location: Timi oara, Romania, Romania
Conference Date: 12 September 2010
Page(s): 1 - 5
ISBN (Electronic): 978-1-4244-8629-8
ISBN (Paper): 978-1-4244-8630-4
ISBN (Online): 978-1-4244-8628-1
ISSN (Paper): 1063-6773
ISSN (Online): 1063-6773
DOI: 10.1109/ICSM.2010.5609573
Regular:

Loop invariants play a major role in program verification. Though various techniques have been applied to automatic loop invariants generation, most interesting ones often generate only candidate... View More

Advertisement