Peng Yu
Newbie level 5
![Newbie level 5](/styles/images/ranks/blevel2.gif)
This thread is for the general discussion of the blog entry Optimizing Formal Verification through Complexity Management. Please add to the discussion here.
Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.