It depends a bit on what you mean by "100% verified".
With virus scanners, it's always possible that there is a malware program that the virus scanner fails to pick up (false negative). Also, the code might contain vulnerabilities that are not yet public (0-day exploits).
It is mathematically impossible to determine in advance for every program how it will respond to input; this is known as the "halting problem". So automated verification is not enough, for any non-trivial program there will be the need for verification by a human expert - who, of course, may make mistakes, accidentally or deliberately.
You haven't mentioned Bluetooth; there might be buffer overrun vulnerabilities in the code for Bluetooth communication, so you should switch that off as well.
Apart from that, I think you should be safe... but you might as well leave the computer off.
And, of course, this assumes that your computer has no floppy drives through which malware may enter :-)
EDIT: I just realized that malicious code may also be present in data - macros in Office documents being the most likely example. So assuming you're getting data from outside the system somehow, that too is suspect.