( en | de | ru )

 

Disambiguierung von "Fedyukovich, Grigory"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

, , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 175-195. Springer, (2024)

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.

Grigory Panasenko

Grigory Soloweitschik

Grigory Genikhovich

Grigory Kuznetsov

Grigory Shevchenko

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploiting partial variable assignment in interpolation-based model checking., , , , , und . Formal Methods Syst. Des., 55 (1): 33-71 (2019)Interpolation-Based Function Summaries in Bounded Model Checking., , und . Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 160-175. Springer, (2011)PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification., , , , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 683-693. Springer, (2013)Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability., , , , , und . CoRR, (2016)Optimizing Function Summaries Through Interpolation., , , , und . Validation of Evolving Software, Springer, (2015)Syntax-Guided Termination Analysis., , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 124-143. Springer, (2018)Maximal Quantified Precondition Synthesis for Linear Array Loops., , und . ESOP (2), Volume 14577 von Lecture Notes in Computer Science, Seite 245-274. Springer, (2024)Solving Constrained Horn Clauses Using Syntax and Data., , , und . FMCAD, Seite 1-9. IEEE, (2018)Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts., , , , , , und . TACAS (2), Volume 10806 von Lecture Notes in Computer Science, Seite 176-193. Springer, (2018)PVAIR: Partial Variable Assignment InterpolatoR., , , , , und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 419-434. Springer, (2016)