Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

We propose an abstraction refinement method for invariant checking,which is based on the simultaneous analysis of all abstractcounter examples of shortest length in the current abstraction. Thealgorithm is focused on an improved Ariadne's Bundle of SORs(Synchronous Onion Rings) of the abstract...

Full description

Saved in:

Bibliographic Details
Published in:	International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 p. 408
Main Authors:	Wang, Chao, Li, Bing, Jin, HoonSang, Hachtel, Gary D., Somenzi, Fabio
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 09.11.2003
Series:	ACM Conferences
Subjects:	Theory of computation > Logic > Programming logic Theory of computation > Semantics and reasoning > Program reasoning Theory of computation > Semantics and reasoning > Program reasoning > Invariants Theory of computation > Semantics and reasoning > Program reasoning > Program verification
ISBN:	9781581137620, 1581137621
ISSN:	1092-3152
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!