This project analyzes customer behavior towards e-commerce websites using data mining techniques. Linear temporal logic model, computational temporal logical model, and probabilistic model checking will be used for analyzing the structure of e-commerce website with the help of web logs. The project aims to understand the fundamental of e-commerce website, how it emerged, why people prefer online shopping over offline shopping, and how it works in the existing system. The project also includes the development of an e-commerce website to analyze customer behavior based on various parameters. The obtained results are discussed in detail. The project uses Java for creating the web pages and Weka tool is used for data preprocessing.