A verification framework for specification centered developments Một khung làm việc kiểm chứng cho quy trình phát triển phần mềm lấy đặc tả làm trung tâm