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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 S. 408
Hauptverfasser:	Wang, Chao, Li, Bing, Jin, HoonSang, Hachtel, Gary D., Somenzi, Fabio
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 09.11.2003
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!