Browsing MIT Open Access Articles by Subject "Verification"
Now showing items 1-1 of 1
(Institute of Electrical and Electronics Engineers, 2009-08)Survival is a key concern of many complex systems. A standard approach to maximizing the likelihood of survival is to attempt to produce a system that is as free of errors as possible. We instead propose a methodology that ...