ＸＹＺ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统。它由时序逻辑语言（ｔｅｍｐｏｒａｌ ｌｏｇｉｃ ｌａｎｇｕａｇｅ，简称ＴＬＬ）ＸＹＺ／Ｅ和以该语言为基础的一组软件工......