A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot § - Patrick Cousot - Document - PDFSEARCH.IO

First Page	Meta Content
	A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot § Add to Reading List Document Date: 2007-10-18 09:44:48 Open Document File Size: 286,77 KB Share Result on Facebook

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §Add to Reading List