LEADER 00839nam0-22002891i-450- 001 990006825830403321 005 20001010 035 $a000682583 035 $aFED01000682583 035 $a(Aleph)000682583FED01 035 $a000682583 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>sprache der anzeigenwerbung$eeine linguistische analyse aktueller werbeslogans$fManuela Baumgart. 210 $aHeidelberg$cPhysica$dc 1992. 215 $aX, 346 p.$d24 cm 225 1 $aKonsum und verhalten$v37 700 1$aBaumgart,$bManuela$0252546 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006825830403321 952 $aXV TB 119$b26370$fFSPBC 959 $aFSPBC 996 $aSprache der anzeigenwerbung$9625999 997 $aUNINA DB $aGEN01 LEADER 04231nam 22006615 450 001 9910735785703321 005 20230724172426.0 010 $a981-19-9601-6 024 7 $a10.1007/978-981-19-9601-6 035 $a(MiAaPQ)EBC30663080 035 $a(Au-PeEL)EBL30663080 035 $a(DE-He213)978-981-19-9601-6 035 $a(PPN)27225178X 035 $a(CKB)27857093600041 035 $a(EXLCZ)9927857093600041 100 $a20230724d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aChallenges of Software Verification /$fedited by Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro 205 $a1st ed. 2023. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023. 215 $a1 online resource (275 pages) 225 1 $aIntelligent Systems Reference Library,$x1868-4408 ;$v238 311 08$aPrint version: Arceri, Vincenzo Challenges of Software Verification Singapore : Springer,c2023 9789811996009 327 $aChapter 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. 330 $aThis 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 considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples. The theoretical advances have been always motivated by practical challenges that have led to an equal evolution of both these sides of software verification. Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size. This book is aimed at collecting contributions discussing recent advances in facing open challenges in software verification, relying on a broad spectrum of verification techniques. This book collects contributions ranging from theoretical to practical arguments, and it is aimed at both researchers in software verification and their practitioners. 410 0$aIntelligent Systems Reference Library,$x1868-4408 ;$v238 606 $aTelecommunication 606 $aSoftware engineering 606 $aData protection 606 $aInternet of things 606 $aCommunications Engineering, Networks 606 $aSoftware Engineering 606 $aData and Information Security 606 $aInternet of Things 615 0$aTelecommunication. 615 0$aSoftware engineering. 615 0$aData protection. 615 0$aInternet of things. 615 14$aCommunications Engineering, Networks. 615 24$aSoftware Engineering. 615 24$aData and Information Security. 615 24$aInternet of Things. 676 $a005.14 700 $aArceri$b Vincenzo$01379118 701 $aCortesi$b Agostino$0550922 701 $aFerrara$b Pietro$01379119 701 $aOlliaro$b Martina$01379120 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910735785703321 996 $aChallenges of Software Verification$93418575 997 $aUNINA