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.
