Program Analysis Techniques for Efficient Software Model Checking

Autor:	Karem A. Sakallah, Chandrasekhar Boyapati
Rok vydání:	2011
Předmět:	Engineering Social software engineering business.industry Software sizing Software construction Software development Package development process Avionics software Software system Software verification and validation business Software engineering
DOI:	10.21236/ada567483
Popis:	The need to build next generation air force systems with highly complex functions, but at relatively low cost, will inevitably means a major investment in software. Without highly reliable software, any ambitious air force program cannot succeed. Indeed, software is the keystone (or perhaps the Achilles heel) of most large-scale automation projects; and the problem of making software reliable has become one of today's most important technological challenges.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::163167a692872b0c329ee7f39863da1c https://doi.org/10.21236/ada567483 Zobrazit plný text záznamu