Solving Riddles with Z3: An Intro to Formal Methods
Bloom Workspaces 2014 Capitol Avenue, Sacramento, CA, United States**Let’s add the power of formal methods to our toolkit!** *This is a joint session with Coder Consortium at Bloom Workspaces.* We’ll explore Z3, a high-performance theorem prover from Microsoft […]