Challenges of Software Verification
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the software verification community has proposed and c...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | , , , |
| Format: | Elektronički e-knjiga |
| Jezik: | engleski |
| Izdano: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2023.
|
| Izdanje: | 1st ed. 2023. |
| Serija: | Intelligent Systems Reference Library,
238 |
| Teme: | |
| Online pristup: | https://doi.org/10.1007/978-981-19-9601-6 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
Sadržaj:
- 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.