東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Challenges of software verification

Arceri, Vincenzo.

Linked to FindBook

Google Book

Amazon

博客來

Challenges of software verification

Record Type:	Electronic resources : Monograph/item
Title/Author:	Challenges of software verification/ edited 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.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Computer software - Verification. -
Online resource:	https://doi.org/10.1007/978-981-19-9601-6
ISBN:	9789811996016

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

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

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

828401
Computer software
--Verification.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Challenges of software verification
LDR:03090nmm a2200337 a 4500 001 2333028
003 DE-He213
005 20230724172426.0
006 m d
007 cr nn 008maaau
008 240402s2023 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 828401
650 1 4 $a Communications Engineering, Networks. $3 891094
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Data and Information Security. $3 3538510
650 2 4 $a Internet of Things. $3 3538511
700 1 $a Arceri, Vincenzo. $3 3663429
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Intelligent systems reference library ; $v v. 238. $3 3663430
856 4 0 $u https://doi.org/10.1007/978-981-19-9601-6
950 $a Engineering (SpringerNature-11647)