( en | de | ru )

 

Disambiguierung von "Gupta, Aarti"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Pono: A Flexible and Extensible SMT-Based Model Checker.

, , , , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 461-474. Springer, (2021)

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.

Aarti Singh

Ashutosh Kumar Gupta

Rahul Gupta

Shashank Gupta

Sudipta Gupta

 

Weitere Publikationen von Autoren mit dem selben Namen

A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale., , und . FJCC, Seite 325-334. IEEE Computer Society, (1986)SAT-Based Scalable Formal Verification Solutions, und . Series on Integrated Circuits and Systems Springer, (2007)Program Analysis Using Symbolic Ranges, , und . SAS, Volume 4634 von LNCS, Seite 366-383. (2007)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , und . CAV'06, Seite 137-151. (2006)Interprocedural Exception Analysis for C++., , , , und . ECOOP, Volume 6813 von Lecture Notes in Computer Science, Seite 583-608. Springer, (2011)Model Checking Concurrent Programs.. VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 2. Springer, (2009)Localization and Register Sharing for Predicate Abstraction., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 397-412. Springer, (2005)Reasoning About Threads Communicating via Locks., , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 505-518. Springer, (2005)Efficient Modeling of Embedded Memories in Bounded Model Checking., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 440-452. Springer, (2004)From Hardware Verification to Software Verification: Re-use and Re-learn.. Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 14-15. Springer, (2007)