Peng Yu
Newbie level 5
![Newbie level 5](/styles/images/ranks/blevel2.gif)
This thread is for the general discussion of the blog entry Understanding and Managing Complexity in Formal Verification. 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.