Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
暫譯: 執行時驗證：第十九屆國際會議 RV 2019，葡萄牙波爾圖，2019年10月8-11日，會議論文集

Finkbeiner, Bernd, Mariani, Leonardo

Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
  • 出版商: Springer
  • 出版日期: 2019-10-04
  • 售價: $2,990
  • 貴賓價: 9.5 折 $2,841
  • 語言: 英文
  • 頁數: 413
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030320782
  • ISBN-13: 9783030320782

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.
The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter "Assumption-Based Runtime Verification with Partial Observability and Resets" and chapter "NuRV: a nuXmv Extension for Runtime Verification" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

商品描述(中文翻譯)

本書為第19屆國際執行時驗證會議（Runtime Verification, RV 2019）的經過審稿的會議論文集，該會議於2019年10月在葡萄牙波爾圖舉行。本書中所呈現的25篇常規論文是從38篇投稿中仔細審核和選出的。RV會議關注於硬體、軟體及更一般系統執行的監控和分析的各個方面。執行時驗證技術是輕量級的技術，用於評估系統的正確性、可靠性和穩健性；這些技術比傳統測試更強大且多功能，並且比全面的形式驗證更實用。章節「基於假設的執行時驗證與部分可觀察性及重置」和章節「NuRV：nuXmv的執行時驗證擴展」可在link.springer.com上以創用CC 4.0國際授權開放訪問。

類似商品