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 […]