• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Parallel and Distributed Methods in Verification
【24h】

Parallel and Distributed Methods in Verification

机译：并行和分布式验证方法

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Over the last three decades, we have observed increasing dependency on computer and communication systems-and their hardware and software-in all aspects of daily life. As an example, we mention the use of online banking services, the use of computer-controlled car safety systems and the use of fully software-supported high-definition television sets. All these types of systems are characterized by their complexity as regards their hardware and-first and foremosttheir software. If these systems do not behave as expected (or as specified), the effect is that they become less easy to use-to say the least. However, more often than not such situations lead to monetary losses or they endanger lives.
机译：在过去的三十年中，我们已经观察到在日常生活的各个方面对计算机和通信系统及其硬件和软件的依赖性日益增加。例如，我们提到了使用在线银行服务，使用计算机控制的汽车安全系统以及使用完全由软件支持的高清电视机。所有这些类型的系统的特征在于其硬件以及首先是其软件的复杂性。如果这些系统的行为不符合预期（或指定的），那么至少可以说，它们变得不那么易于使用。但是，这种情况经常导致金钱损失或危及生命。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号