Basic Formal Closure (Black Boxing and Cutpoint)
At some point formal engines will begin to struggle under the weight of the state space. This session will show two simple techniques to safely limit the states the engines need to process, enabling more in-depth results.
Full-access members only
Register your account to view Basic Formal Closure (Black Boxing and Cutpoint)
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.