Program Analysis Techniques for Efficient Software Model Checking
Chandrasekhar Boyapati, Karem A. Sakallah · 2011
Abstract : 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.