Igor Melnichenko

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Symbolic Execution

Static Analysis

Top Venues

Publications

Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko
Static analysis of HDL descriptions: Extracting models for verification. EWDTS (2013)