This paper describes a distance teaching system development by using Java,JSP and XML. The key technologies in distance teaching system are introduced and their
Model Checking is a widely used technology to verify the design's correctness automatically. Real-time systems' properties include instant properties an