Doron Keren is an author at Rice University specializing in software analysis, system-level design, and computer science.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2014–2014
1
1
From visual to logical formalisms for SoC validation
Ranan Fraer, Doron Keren, Zurab Khasidashvili et al. · 2014 · 11 citations
Engineering, Intuitive Visual Formalism, Hardware Verification Language +24
Rows per page
1–1 of 1