IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modular bug detection with inertial refinement

2010 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Sinha, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2010
Conference Location: Lugano, Switzerland, Switzerland
Conference Date: 20 October 2010
Page(s): 199 - 206
ISBN (Electronic): 978-0-9835678-0-6
ISBN (Paper): 978-1-4577-0734-6
Regular:

Structural abstraction/refinement (SAR) [4] holds promise for scalable bug detection in software since the abstraction is inexpensive to compute and refinement employs pre-computed... View More

Advertisement