SYSTEM AND METHOD FOR SOFTWARE VERIFICATION

A system and a method for verification of a source code are provided. There as many techniques available that can be used for verification of software codes, however, it is difficult to determine appropriate technique that can be utilized for verification of a given software code. In an embodiment,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	SHAH, PUNIT, KUMAR, SHRAWAN, AFZAL, MOHAMMAD, RAMANATHAN, Venkatesh, AKHTAR, ASIA, CHAUHAN, AVRITI, DARKE, PRIYANKA, SHAH, TANHA, CHIMDYALWAR, BHARTI, DATAR, ADVAITA
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!