Challenges of software verification
Arceri, Vincenzo.

FindBook      Google Book      Amazon      博客來     
  • Challenges of software verification
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Challenges of software verification/ edited by Vincenzo Arceri ... [et al.].
    其他作者: Arceri, Vincenzo.
    出版者: Singapore :Springer Nature Singapore : : 2023.,
    面頁冊數: xv, 264 p. :ill. (some col.), digital ;24 cm.
    內容註: Chapter 1. Abstract Interpretation: From 0, 1, To ∞ -- Chapter 2. LiSA: A Generic Framework for Multilanguage Static Analysis -- Chapter 3. How to make taint analysis precise -- Chapter 4. "Fixing" the specification of widenings -- Chapter 5. Static Analysis for Data Scientists -- Chapter 6. Completeness in static analysis by abstract interpretation, a personal point of view -- Chapter 7. Lifting String Analysis Domains -- Chapter 8. Local Completeness in Abstract Interpretation -- Chapter 9. The Topdown-Solver - An Exercise in A2I -- Chapter 10. Regular matching with constraint programming -- Chapter 11. Floating-point round-off error analysis of safety-critical avionics software -- Chapter 12. Risk estimation in IoT systems -- Chapter 13. Verification of Reaction Systems Processes.
    Contained By: Springer Nature eBook
    標題: Computer software - Verification. -
    電子資源: https://doi.org/10.1007/978-981-19-9601-6
    ISBN: 9789811996016
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入