DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing

First Page		Document Content
Date: 2002-12-20 10:55:12 Software Polyspace Science Embedded systems Model checking Software verification Abstract interpretation Worst-case execution time Software development process Software development Software testing Formal methods		DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing Add to Reading List Source URL: www.di.ens.fr Download Document from Source Website File Size: 46,64 KB Share Document on Facebook

	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 Ma DocID: 1ovhQ - View Document
	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 DocID: 18LvA - View Document
	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) DocID: 11fpO - View Document
	DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing DocID: YWRk - View Document
	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] DocID: XTXt - View Document