×

zbMATH — the first resource for mathematics

Fedyukovich, Grigory

Compute Distance To:
Author ID: fedyukovich.grigory Recent zbMATH articles by "Fedyukovich, Grigory"
Published as: Fedyukovich, Grigory
Documents Indexed: 13 Publications since 2013, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 10 times in 7 Documents Cited by Year
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
3
2015
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
eVolCheck: incremental upgrade checker for C. Zbl 1381.68159
Fedyukovich, Grigory; Sery, Ondrej; Sharygina, Natasha
2
2013
Synchronizing constrained Horn clauses. Zbl 1403.68243
Mordvinov, Dmitry; Fedyukovich, Grigory
1
2017
Property directed equivalence via abstract simulation. Zbl 1411.68065
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
1
2016
Synchronizing constrained Horn clauses. Zbl 1403.68243
Mordvinov, Dmitry; Fedyukovich, Grigory
1
2017
Property directed equivalence via abstract simulation. Zbl 1411.68065
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
1
2016
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
3
2015
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
eVolCheck: incremental upgrade checker for C. Zbl 1381.68159
Fedyukovich, Grigory; Sery, Ondrej; Sharygina, Natasha
2
2013

Citations by Year