( en | de | ru )

 

Disambiguierung von "Gurfinkel, Arie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Checking Software Using Precise Abstractions

, und . (2008)
DOI: http://dx.doi.org/10.1007/978-3-540-69149-5_37

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.

Arie Nabrings

Arie Hartog

Arie Klerk

Horst Aries

Katrin Leonie Aries

 

Weitere Publikationen von Autoren mit dem selben Namen

Robust Vacuity for Branching Temporal Logic., und . ACM Trans. Comput. Log., 13 (1): 1:1-1:32 (2012)Automated assume-guarantee reasoning for omega-regular systems and specifications., und . Innov. Syst. Softw. Eng., 7 (2): 131-139 (2011)On the consistency, expressiveness, and precision of partial modeling formalisms., , und . Inf. Comput., 209 (1): 20-47 (2011)Automated Discovery of Simulation Between Programs., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 606-621. Springer, (2015)Fast Approximations of Quantifier Elimination., , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 64-86. Springer, (2023)Exploiting resolution proofs to speed up LTL vacuity detection for BMC., , , und . Int. J. Softw. Tools Technol. Transf., 12 (5): 319-335 (2010)Combining predicate and numeric abstraction for software model checking., und . Int. J. Softw. Tools Technol. Transf., 12 (6): 409-427 (2010)Verifying Verified Code., , , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2021)Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning., , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 187-204. Springer, (2018)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 425-449. Springer, (2022)