Proceedings of the 6th International Symposium, FTRTFT 2000, Formal Techniques in Real-Time and Fault Tolerant Systems, held in Pune, India, September 20-22, 2000. A variety of topics were discussed, including model checking, fault tolerance, scheduling, and verification. Softcover.