Challenges of Software Verification

Title:

Author:

Arceri, Vincenzo. editor.

ISBN:

9789811996016

Edition:

1st ed. 2023.

Physical Description:

XV, 264 p. 80 illus., 59 illus. in color. online resource.

Series:

Intelligent Systems Reference Library, 238

Contents:

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 speciﬁcation 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-oﬀ error analysis of safety-critical avionics software -- Chapter 12. Risk estimation in IoT systems -- Chapter 13. Veriﬁcation of Reaction Systems Processes.

Subject Term:

Telecommunication.

Software engineering.

Data protection.

Internet of things.

Communications Engineering, Networks.

Data and Information Security.

Added Author: