Sava Krstic

Sava Krstic

Intel Corporation - Kaliforniya / United States
Others
AD Scientific Index ID: 4376985
-
person_outline Sava Krstic's MOST POPULAR ARTICLES
1-) Cubicle: a parallel SMT-based model checker for parameterized systems: tool paperS Conchon, A Goel, S Krstić, A Mebsout, F ZaïdiComputer Aided Verification: 24th International Conference, CAV 2012 …, 20121182012
2-) Quantifier instantiation techniques for finite model finding in SMTA Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C BarrettInternational Conference on Automated Deduction, 377-391, 2013832013
3-) The non-finite presentability of IA (F3) and GL2 (Z [t, t-1])S Krstic, J McCoolInventiones mathematicae 129 (3), 595, 1997841997
4-) Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLLS Krstić, A GoelInternational Symposium on Frontiers of Combining Systems, 1-27, 2007832007
5-) Finite model finding in SMTA Reynolds, C Tinelli, A Goel, S KrstićComputer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013822013