Challenges of Software Verification
by
Arceri, Vincenzo. editor.
Title
:
Challenges of Software Verification
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 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.
Subject Term
:
Telecommunication.
Software engineering.
Data protection.
Internet of things.
Communications Engineering, Networks.
Data and Information Security.
Added Author
:
Arceri, Vincenzo.
Cortesi, Agostino.
Ferrara, Pietro.
Olliaro, Martina.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 528145-1001 | ONLINE | | Elektronik Kütüphane |