Ну тогда вопрос, как таковой, уже отпадает.
Я скажу для общего случая, а потом перейду к Вашему. Все зависит от самого "пойманного" вируса. Есть такие, которые блокируют запуск устанавливаемых служб и запускаемых файлов известных (и потенциально опасных для них) антивирусов. Для этого при установке на пораженную систему
желательно просканировать ее предварительно
неисталлируемыми (вот почему у них меньше шансов быть блокированными) сканерами, или подключить ЖД к другому ПК со "свежим" антивирусом, или сделать CD-диск с помощью того-же "Касперского" и с его помощью провериться перед установкой.
Если диск был отформатирован, то вместе с информацией "погибли" и вирусы... Так что удивляться их отсутствию нечего. Но есть такие, для которых "быстрое форматирование" - "что мертвому припарки" и чтобы их уничтожить необходимо
полное форматирование диска. Но это редко и уже частные случаи. Для успокоения можете провести сканирование, - хуже от этого точно не станет.