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

	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith DocID: 1xW0L - View Document
	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have DocID: 1xW0u - View Document
	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract DocID: 1xUES - View Document
	Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface DocID: 1xUBZ - View Document
	1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale DocID: 1xUyc - View Document