它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
演示系统验证过程。
本文其余部分描述了使用IBM Omnifind Discovery Edition搜索文档及其元数据集合的分面导航系统的概念验证演示。
The rest of article describes a proof-of-concept demonstration of a faceted navigation system to search a collection of documents and its metadata, using IBM Omnifind Discovery Edition.
应用推荐