( en | de | ru )

 

Disambiguierung von "Unadkat, Divyesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Assertion Checking Using Dynamic Inference.

, und . Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 199-213. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Unadkat, Divyesh
Eine Person hinzufügen mit dem Namen Unadkat, Divyesh
 

Weitere Publikationen von Autoren mit dem selben Namen

Full-Program Induction: Verifying Array Programs sans Loop Invariants., , und . CoRR, (2022)Diffy: Inductive Reasoning of Array Programs Using Difference Invariants., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 911-935. Springer, (2021)VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)., , , , , , , , , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 383-387. Springer, (2020)Verifying Array Manipulating Programs with Full-Program Induction., , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 22-39. Springer, (2020)Verifying Array Manipulating Programs by Tiling., , und . SAS, Volume 10422 von Lecture Notes in Computer Science, Seite 428-449. Springer, (2017)Assertion Checking Using Dynamic Inference., und . Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 199-213. Springer, (2013)Scaling Model Checking for Test Generation Using Dynamic Inference., , , , und . ICST, Seite 184-191. IEEE Computer Society, (2013)