The post from Qualys lists at the bottom a link to the Qualys security advisory which contains a short C program to test whether a system is vulnerable or not, so it should be pretty simple to verify when a system is 'patched'.