![Abstract interpretation / Software testing / AbsInt / Fluctuat / Astre / Formal methods / Radhia Cousot / Static program analysis / Patrick Cousot / Formal verification / Simulink / Polyspace Abstract interpretation / Software testing / AbsInt / Fluctuat / Astre / Formal methods / Radhia Cousot / Static program analysis / Patrick Cousot / Formal verification / Simulink / Polyspace](https://www.pdfsearch.io/img/eab708832c5077c8855393d8879d1c16.jpg) Date: 2009-11-24 06:44:26Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace | | SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent MaAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 281,11 KBShare Document on Facebook
|