Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。

youdao

Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。

youdao