Challenges of Software Verification (Paperback, 2023)

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