... Theory of Distributed Systems分布式系统理论 Computer Security and Forensics计算机安全和取证 Software and Hardware Verification软件和硬件验证 ...
基于9个网页-相关网页
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
应用推荐