Gurfinkel, Arie
- SMT-based Model Checking for Recursive Programs
2014/05/15 by Anvesh Komuravelli, Arie Gurfinkel, Komuravelli, Anvesh +3 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Property Directed Self Composition
2019/05/19 by Shemer, Ron, Gurfinkel, Arie, Shoham, Sharon +1 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Global Guidance for Local Generalization in Model Checking
2020/05/27 by Hari Govind V K, YuTing Chen, K, Hari Govind V +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Towards Reliable Neural Specifications
2022/10/28 by Geng, Chuqin, Le, Nham, Xu, Xiaojie +3 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
2017/09/14 by Andreas Katis, Grigory Fedyukovich, Katis, Andreas +11 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering (cs.SE) #Software Engineering Research
- Interpolating Strong Induction
2019/06/04 by K, Hari Govind V, Vizel, Yakir, Ganesh, Vijay +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Btor2MLIR: A Format and Toolchain for Hardware Verification
2023/09/16 by Joseph Tafese, Tafese, Joseph, Isabel Garcia-Contreras +3 · 1 citation
Computer Science · Engineering · #Software Testing and Debugging Techniques #Formal Methods in Verification #Radiation Effects in Electronics