Dmitry Korchemny is an author at Intel (United States) specializing in formal verification, engineering, and program analysis.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingFormal VerificationSoftware AnalysisAutomated ReasoningSystems Engineering
Publications per year
2005–2012
3
3
SAT-based semiformal verification of hardware
Sabih Agbaria, Dan Carmi, Orly Cohen et al. · Formal Methods in Computer-Aided Design · 2010 · 10 citations
Engineering, Hardware Verification Language, Verification +17
Rows per page
1–3 of 3