(一)从观念角度而言的机器架构，即不管其实际上的机器架构。例如一个逻辑机器架构或由一个中央处理机及记忆体组成，而在实际上却是一部大型多处理机的主机。
(二)一个有层次的软体工具系统，使定理证明更加有效与灵活。