尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
因为死锁的类装入器的标识已知，所以可以检查这些类装入器使用的委托模型。
Because the identities of the deadlocked class loaders are known, it is possible to examine the delegation model that these class loaders are using.
检查器是将对象适配为XPath信息模型。
An inspector is an object that ADAPTS objects to the XPath information model.
应用推荐