語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Computer software- Verification." ]
切換:
標籤
|
MARC模式
|
ISBD
Challenges of software verification
~
Arceri, Vincenzo.
FindBook
Google Book
Amazon
博客來
Challenges of software verification
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Challenges of software verification/ edited by Vincenzo Arceri ... [et al.].
其他作者:
Arceri, Vincenzo.
出版者:
Singapore :Springer Nature Singapore : : 2023.,
面頁冊數:
xv, 264 p. :ill. (some col.), digital ;24 cm.
內容註:
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.
Contained By:
Springer Nature eBook
標題:
Computer software - Verification. -
電子資源:
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 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.
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 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.
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)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9459233
電子資源
11.線上閱覽_V
電子書
EB QA76.76.V47
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入