What's the Difference Between Sound and Unsound Static Analysis?

Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.

from Electronic Design - Engineering Essentials Curated By Experts http://bit.ly/2COVQaN