Print Friendly Search Results

Challenges of Software Verification

Arceri, Vincenzo. editor.

Challenges of Software Verification

Arceri, Vincenzo. editor.

9789811996016

1st ed. 2023.

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

Intelligent Systems Reference Library, 238

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.

Telecommunication.

Software engineering.

Data protection.

Internet of things.

Communications Engineering, Networks.

Data and Information Security.

Arceri, Vincenzo.

Cortesi, Agostino.

Ferrara, Pietro.

Olliaro, Martina.

SpringerLink (Online service)

https://doi.org/10.1007/978-981-19-9601-6