Title: “Logic-Based Techniques for Program Analysis and Specification Synthesis” Speaker: Marco Feliú Date: May 5, 2016 Time: 10:30am – 11:30am Location: NIA Room 137 Abstract: Program analysis can benefit from logic formalisms in…
Title: “Logic-Based Techniques for Program Analysis and Specification Synthesis” Speaker: Marco Feliú Date: May 5, 2016 Time: 10:30am – 11:30am Location: NIA Room 137 Abstract: Program analysis can benefit from logic formalisms in…