. pháp kiểm chứng phần mềm là các phương pháp kiểm chứng hình thức và kiểm chứng tại thời điểm thực thi chương trình. 2.1.1 Kiểm chứng hình thức 2.1.1.1 Kiểm chứng mô hình Phương pháp kiểm chứng. (deadlock) trong chương trình Java tương tranh. Tuy nhiên các phương pháp này chưa kiểm chứng sự tương tác (giao thức tương tác) giữa các tiến trình (thành phần) tương tranh nhằm bảo đảm tính nhất quán. trình tương tranh so với đặc tả giao thức tương tác của nó. Chương 6 trình bày phương pháp kiểm chứng các ràng buộc thời gian giữa các thành phần tuần tự và song song trong chương trình tương tranh. Hình