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 Sacramento Software Engineers at Bloom Workspaces.* We’ll explore Z3, a high-performance theorem prover from Microsoft Research. Z3 is widely used in formal verification, program analysis, and constraint solving. We’ll learn the basics of Z3 by using the Python interface […]