語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Tests and proofs12th International C...
~
(1998 :)
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Tests and proofsedited by Catherine Dubois, Burkhart Wolff.
其他題名:
12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
其他題名:
TAP 2018
其他作者:
Dubois, Catherine.
團體作者:
出版者:
Cham :Springer International Publishing :2018.
面頁冊數:
xiv, 185 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
標題:
Computer softwareCongresses.Testing
電子資源:
https://doi.org/10.1007/978-3-319-92994-1
ISBN:
9783319929941$q(electronic bk.)
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
Tests and proofs
12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /[electronic resource] :TAP 2018edited by Catherine Dubois, Burkhart Wolff. - Cham :Springer International Publishing :2018. - xiv, 185 p. :ill., digital ;24 cm. - Lecture notes in computer science,108890302-9743 ;. - Lecture notes in computer science ;4891..
Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
ISBN: 9783319929941$q(electronic bk.)
Standard No.: 10.1007/978-3-319-92994-1doiSubjects--Topical Terms:
444627
Computer software
--Testing--Congresses.
LC Class. No.: QA76.76.T48 / T478 2018
Dewey Class. No.: 005.14
Tests and proofs12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
LDR
:02543nmm a2200373 a 4500
001
568650
003
DE-He213
005
20191023111724.0
006
m d
007
cr nn 008maaau
008
200707s2018 sz s 0 eng d
020
$a
9783319929941$q(electronic bk.)
020
$a
9783319929934$q(paper)
024
7
$a
10.1007/978-3-319-92994-1
$2
doi
035
$a
978-3-319-92994-1
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.76.T48
$b
T478 2018
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
072
7
$a
UMZ
$2
thema
082
0 4
$a
005.14
$2
23
090
$a
QA76.76.T48
$b
T172 2018
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Tests and proofs
$h
[electronic resource] :
$b
12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings /
$c
edited by Catherine Dubois, Burkhart Wolff.
246
3
$a
TAP 2018
246
3
$a
STAF 2018
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2018.
300
$a
xiv, 185 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
10889
490
1
$a
Programming and software engineering
505
0
$a
Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.
520
$a
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
650
0
$a
Computer software
$x
Testing
$v
Congresses.
$3
444627
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
0
$a
Software engineering|vCongresses.
$3
854541
650
1 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
274102
650
2 4
$a
Systems and Data Security.
$3
274481
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
The Computing Profession.
$3
275271
700
1
$a
Dubois, Catherine.
$3
357150
700
1
$a
Wolff, Burkhart.
$3
515690
710
2
$a
SpringerLink (Online service)
$3
273601
711
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
4891.
$3
383229
830
0
$a
Programming and software engineering.
$3
821998
856
4 0
$u
https://doi.org/10.1007/978-3-319-92994-1
950
$a
Computer Science (Springer-11645)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000177092
電子館藏
1圖書
電子書
EB QA76.76.T48 T172 2018 2018
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
https://doi.org/10.1007/978-3-319-92994-1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入