Sava Krstic
Sava Krstic
Research Scientist, Intel Corp.
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Cubicle: a parallel SMT-based model checker for parameterized systems: tool paper
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Quantifier instantiation techniques for finite model finding in SMT
A Reynolds, C Tinelli, A Goel, S Krstić, M Deters, C Barrett
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
Architecting solvers for SAT modulo theories: Nelson-Oppen with DPLL
S Krstić, A Goel
Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007
The non-finite presentability of IA (F3) and GL2 (Z [t, t-1])
S Krstic, J McCool
Inventiones mathematicae 129 (3), 595, 1997
Finite model finding in SMT
A Reynolds, C Tinelli, A Goel, S Krstić
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Equivariant outer space and automorphisms of free-by-finite groups
S Krstić, K Vogtmann
Comment. Math. Helv. 68 (2), 216-262, 1993
Ground Interpolation for the Theory of Equality.
A Fuchs, A Goel, J Grundy, S Krstic, C Tinelli
TACAS 9, 413-427, 2009
Synchronous elastic networks
S Krstic, J Cortadella, M Kishinevsky, J O'Leary
2006 Formal Methods in Computer Aided Design, 19-30, 2006
Parameterized system verification with guard strengthening and parameter abstraction
S Krstic
Automated verification of infinite state systems, 2005
Invariants for finite instances and beyond
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
2013 Formal Methods in Computer-Aided Design, 61-68, 2013
Security of SoC firmware load protocols
S Krstić, J Yang, DW Palmer, RB Osborne, E Talmor
2014 IEEE International Symposium on Hardware-Oriented Security and Trust …, 2014
Canonization for disjoint unions of theories
S Krstić, S Conchon
Automated Deduction–CADE-19: 19th International Conference on Automated …, 2003
Actions of finite groups on graphs and related automorphisms of free groups
S Krstić
Journal of algebra 124 (1), 119-138, 1989
Ground interpolation for combined theories
A Goel, S Krstić, C Tinelli
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
Combined satisfiability modulo parametric theories
S Krstić, A Goel, J Grundy, C Tinelli
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
Deciding array formulas with frugal axiom instantiation
A Goel, S Krstić, A Fuchs
Proceedings of the Joint Workshops of the 6th International Workshop on …, 2008
Categories of processes enriched in final coalgebras
S Krstić, J Launchbury, D Pavlović
Foundations of Software Science and Computation Structures: 4th …, 2001
Finitely generated virtually free groups have finitely presented automorphism group
S Krstić
Proceedings of the London Mathematical Society 3 (1), 49-69, 1992
SMT-Based System Verification with DVF.
A Goel, S Krstic, R Leslie, MR Tuttle
SMT@ IJCAR 20, 32-43, 2012
Strategies for combining decision procedures
S Conchon, S Krstić
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20