关注
Grigory Fedyukovich
Grigory Fedyukovich
在 cs.fsu.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa verification conference, 160-175, 2011
782011
Incremental upgrade checking by means of interpolation-based function summaries
O Sery, G Fedyukovich, N Sharygina
2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012
712012
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
672019
Sampling invariants from frequency distributions
G Fedyukovich, SJ Kaufman, R Bodík
2017 Formal Methods in Computer Aided Design (FMCAD), 100-107, 2017
532017
Accelerating syntax-guided invariant synthesis
G Fedyukovich, R Bodík
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
522018
Solving constrained horn clauses using syntax and data
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
492018
Gradual synthesis for static parallelization of single-pass array-processing programs
G Fedyukovich, MBS Ahmad, R Bodik
ACM SIGPLAN Notices 52 (6), 572-585, 2017
482017
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
462019
eVolCheck: Incremental upgrade checker for C
G Fedyukovich, O Sery, N Sharygina
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
452013
FunFrog: Bounded model checking with interpolation-based function summarization
O Sery, G Fedyukovich, N Sharygina
Automated Technology for Verification and Analysis: 10th International …, 2012
392012
Lemma synthesis for automating induction over algebraic data types
W Yang, G Fedyukovich, A Gupta
Principles and Practice of Constraint Programming: 25th International …, 2019
382019
Validity-guided synthesis of reactive systems from assume-guarantee contracts
A Katis, G Fedyukovich, H Guo, A Gacek, J Backes, A Gurfinkel, ...
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
372018
Automated discovery of simulation between programs
G Fedyukovich, A Gurfinkel, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning, 606-621, 2015
372015
PeRIPLO: A framework for producing effective interpolants in SAT-based software verification
SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
372013
Syntax-guided termination analysis
G Fedyukovich, Y Zhang, A Gupta
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
332018
Synchronizing Constrained Horn Clauses.
D Mordvinov, G Fedyukovich
LPAR, 338-355, 2017
332017
Property directed equivalence via abstract simulation
G Fedyukovich, A Gurfinkel, N Sharygina
International Conference on Computer Aided Verification, 433-453, 2016
322016
Verification-aided regression testing
F Pastore, L Mariani, AEJ Hyvärinen, G Fedyukovich, N Sharygina, ...
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
322014
Exploiting synchrony and symmetry in relational verification
L Pick, G Fedyukovich, A Gupta
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
302018
HiFrog: SMT-based function summarization for software verification
L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
282017
系统目前无法执行此操作,请稍后再试。
文章 1–20