In this paper, several approaches to make concurrent programs highly reliable are surveyed. The state space analysis including model checking is the most promising formal verification approach for concurrent programs. However, it is not almighty for actual program development. This paper focuses on harmful nondeterministic behaviors of concurrent programs and introduces three advanced approaches (testing with verification, program adjustment, and hypersequential programming) to detect and remove them, which provide more than state space analysis. We also show our projects and tools going along with these approaches.