LEADER 01328nam 2200385 450 001 990001065600203316 035 $a0106560 035 $aUSA010106560 035 $a(ALEPH)000106560USA01 035 $a0106560 100 $a20020328d--------km-y0itay0103----ba 101 $aita 102 $aIT 110 $aaha-------- 200 1 $a020 zeroventi$ebollettino di segnalazioni da periodici di bibliotecomania e documentazione$fa cura del Dipartimento statistica, elaborazione dati, documentazione e del Servizio beni librai 210 $aFirenze$cRegione Toscana, Giunta regionale 215 $av.$d29 cm 225 2 $aDocumentazione e informazione 326 $aTrimestrale 410 $12001$aDocumentazione e informazione 421 1$1001-------$12001 430 1$1001-------$12001 606 0 $aBibliotecomania$xBibliografia$xPeriodci 606 0 $aPeriodici di bibliotecomania$xPeriodci 676 $a016 712 02$aToscana$b: Servizio beni librai e archivisti 801 0$aIT$bsalbc$gISBD 912 $a990001065600203316 958 $aUMA$bFONDO PERIODICI$cN.8(DIC. 1984)-1986 ; SCOMPLETI 1984-1986 959 $aSE 979 $aPATTY$b90$c20020328$lUSA01$h1624 979 $c20020403$lUSA01$h1746 979 $aPATRY$b90$c20040406$lUSA01$h1714 996 $a020 zeroventi$9979741 997 $aUNISA LEADER 00835cam0-2200289---450- 001 990005038100403321 005 20160726115747.0 035 $a000503810 035 $aFED01000503810 035 $a(Aleph)000503810FED01 035 $a000503810 100 $a19990604d1954----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $a--------001yy 200 1 $aTerre des hommes$erécits choisis$fAntoine de Saint-Exupéry$gintroduction et notes de Grazia Maccone 210 $aMilano$cSignorelli$d1954 215 $a112 p.$d19 cm 676 $a848.91209$v22$zita 700 1$aSaint-Exupéry,$bAntoine de$f<1900-1944> 702 1$aMaccone,$bGrazia 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005038100403321 952 $a848.912 SAIN 2$bIst.f.m.21690$fFLFBC 959 $aFLFBC 997 $aUNINA LEADER 00931nam0-22003011i-450 001 990004357020403321 005 20250527113314.0 010 $a2-600-00009-7 035 $a000435702 035 $aFED01000435702 035 $a(Aleph)000435702FED01 035 $a000435702 100 $a19990530d1994----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>legataire universel$esuivi de La critique du legataire$fJean-Francois Regnard$gtextes etabli$gpresentes et annotes par Charles Mazouer 210 $aGeneve$cDroz$d1994. 215 $a316 p.$d18 cm 225 1 $aTextes littéraires français$v442 700 1$aRegnard,$bJean-François$0384816 702 1$aMazouer,$bCharles 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004357020403321 952 $a840.8 TLF 442$bBibl.16099$fFLFBC 959 $aFLFBC 996 $aLégataire universel$9164296 997 $aUNINA LEADER 04250nam 22006855 450 001 9910735785703321 005 20251116192828.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(OCoLC)1391438322 035 $a(UkBuK)2395823 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$cSpringer Nature$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