國立高雄大學圖資館 |

Challenges of software verification

Record Type:	Electronic resources : Monograph/item
Title/Author:	Challenges of software verificationedited by Vincenzo Arceri ... [et al.].
other author:	Arceri, Vincenzo.
Published:	Singapore :Springer Nature Singapore :2023.
Description:	xv, 264 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer softwareVerification.
Online resource:	https://doi.org/10.1007/978-981-19-9601-6
ISBN:	9789811996016$q(electronic bk.)

Challenges of software verification
Challenges of software verification[electronic resource] /edited by Vincenzo Arceri ... [et al.]. - Singapore :Springer Nature Singapore :2023. - xv, 264 p. :ill. (some col.), digital ;24 cm. - Intelligent systems reference library,v. 2381868-4408 ;. - Intelligent systems reference library ;v.24..

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 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.

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 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.

ISBN: 9789811996016$q(electronic bk.)

Standard No.: 10.1007/978-981-19-9601-6doiSubjects--Topical Terms:

184731
Computer software
--Verification.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Challenges of software verification
LDR:03090nmm a2200337 a 4500 001 648621
003 DE-He213
005 20230724172426.0
006 m d
007 cr nn 008maaau
008 240116s2023 si s 0 eng d
020 $a 9789811996016$q(electronic bk.)
020 $a 9789811996009$q(paper)
024 7 $a 10.1007/978-981-19-9601-6 $2 doi
035 $a 978-981-19-9601-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47
072 7 $a TJK $2 bicssc
072 7 $a TEC041000 $2 bisacsh
072 7 $a TJK $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b C437 2023
245 0 0 $a Challenges of software verification $h [electronic resource] / $c edited by Vincenzo Arceri ... [et al.].
260 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2023.
300 $a xv, 264 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Intelligent systems reference library, $x 1868-4408 ; $v v. 238
505 0 $a 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 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.
520 $a 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 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.
650 0 $a Computer software $x Verification. $3 184731
650 1 4 $a Communications Engineering, Networks. $3 273745
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Data and Information Security. $3 913130
650 2 4 $a Internet of Things. $3 913131
700 1 $a Arceri, Vincenzo. $3 958421
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Intelligent systems reference library ; $v v.24. $3 558591
856 4 0 $u https://doi.org/10.1007/978-981-19-9601-6
950 $a Engineering (SpringerNature-11647)