University projects from California, Switzerland and Germany try to improve that by methods of formal analysis and data mining.
Các dự án từ một số trường đại học như California, Thụy Sĩ và Đức cố gắng cải tiến điều này bằng phương pháp phân tích chính thức và khai thác dữ liệu.