Software Synthesis using Automated Reasoning SVARM 2011 Saarbrücken, Germany Ruzica Piskac * SOFTWARE SYNTHESIS * Software Synthesis val bigSet = .... val (setA, setB) =…
