You are attempting to log out of Consortium for Verification Technology
Do you really want to
log out
?