Claro que formatear sirve, es más, es la mejor solucion frente a las infecciones. Los antivirus tienen un ratio real de deteccion muy bajos, todos sin excepcion, le pese a quien le pese. Así que cuando te entra uno es probable que tengas más, ya que eso indica malas practicas.
Si que es cierto que eso es un falso antivirus, no un virus real, y se puede borrar.
Y repito formatear funciona siempre, pues borra el disco duro completamente. Si te vuelves a infectar de lo mismo es que tienes el problema en tu casa, es decir, usas programas piratas en tu ordenador y llenos de bichos o el Windows sin las ultimas actualizaciones de seguridad. Es más, desde Windows Vista el UAC, o control de cuentas de usuario, impide que se instale ningun programa sin tu consentimiento, por lo que hasta navegando por paginas inseguras seria complicado infectarte, salvo que uno no sepa lo que hace y consienta la instalacion. O bien el problema puede ser tengas en otros soportes extraibles mas bichos. En el ambito de la seguridad informatica lo unico efectivo, el mejor antivirus, son las buenas practicas, y eso lo tiene que hacer el usuario, por lo tanto, cuando uno se infecta, normalemnte el problema esta entre el teclado y la silla.
Un saludo,
Y que nadie se lo tome como nada personal. Hablo en general.