Added State Charts to verification.html