This paper proposes a framework for modeling and verification of class specifications for Web applica- tions. Class specification such as a class diagram is indispensable in an object-oriented design for Web applications, and thus verification of the class specification is very useful for building reliable Web applications. In this paper, we first propose a method for modeling the dynamic behavior of classes from the class specification. We next present two methods for verifications of the class specification based on model checking over the proposed model. The first verification is to check whether the class specification satisfies the requirement of page transition, which is one of the most essential specifications for Web applications. The second verification is to check the compatibility between the class specification and the other dynamic models such as an UML activity diagram. We also apply the proposed methods to real specifications of a Web application used in a certain company and show the efficiency of the proposed methods through experimental results.