METHOD AND SYSTEM FOR IDENTIFYING RELEVANT CHANGES FOR INCREMENTAL VERIFICATION OF EVOLVING SOFTWARE

Modern software verification tools are moving towards incremental verification of program properties to ensure safety of evolving software systems. However, not every change in the program impacts verification outcome of program properties. Moreover, analyzing these irrelevant changes adds to cost o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	JANA, Anushri, KUMAR, Shrawan, CHIMDYALWAR, Bharti
Format:	Patent
Sprache:	eng ; fre ; ger
Schlagworte:	CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!