Verification of finite iterations over collections of variable data structures

To extend the application domain of the symbolic verification method, finite iterations over collections of variable data structures are introduced and reduced to standard finite iterations. This reduction is extended to finite iterations including the break statement. The generalization of the symb...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Cybernetics and systems analysis 2007-05, Vol.43 (3), p.341-352
1. Verfasser:	Nepomniaschy, V A
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematical analysis Protocol verification Studies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!