Una metodologia sobre empuje encuentra ademi?s un doctrina exhaustivo sobre verificacion de computadores