語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal methods for industrial critic...
~
International Workshop on Formal Methods for Industrial Critical Systems (2021 :)
FindBook
Google Book
Amazon
博客來
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal methods for industrial critical systems/ edited by Alberto Lluch Lafuente, Anastasia Mavridou.
其他題名:
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
其他題名:
FMICS 2021
其他作者:
Lluch Lafuente, Alberto.
團體作者:
International Workshop on Formal Methods for Industrial Critical Systems
出版者:
Cham :Springer International Publishing : : 2021.,
面頁冊數:
xii, 249 p. :ill., digital ;24 cm.
內容註:
Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
Contained By:
Springer Nature eBook
標題:
Formal methods (Computer science) - Congresses. -
電子資源:
https://doi.org/10.1007/978-3-030-85248-1
ISBN:
9783030852481
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
Formal methods for industrial critical systems
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /[electronic resource] :FMICS 2021edited by Alberto Lluch Lafuente, Anastasia Mavridou. - Cham :Springer International Publishing :2021. - xii, 249 p. :ill., digital ;24 cm. - Lecture notes in computer science,128630302-9743 ;. - Lecture notes in computer science ;12863..
Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
ISBN: 9783030852481
Standard No.: 10.1007/978-3-030-85248-1doiSubjects--Topical Terms:
622707
Formal methods (Computer science)
--Congresses.
LC Class. No.: QA76.9.F67 / I58 2021
Dewey Class. No.: 004.0151
Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
LDR
:03172nmm a2200373 a 4500
001
2249056
003
DE-He213
005
20210813122423.0
006
m d
007
cr nn 008maaau
008
220103s2021 sz s 0 eng d
020
$a
9783030852481
$q
(electronic bk.)
020
$a
9783030852474
$q
(paper)
024
7
$a
10.1007/978-3-030-85248-1
$2
doi
035
$a
978-3-030-85248-1
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.9.F67
$b
I58 2021
072
7
$a
UMX
$2
bicssc
072
7
$a
COM051010
$2
bisacsh
072
7
$a
UMX
$2
thema
072
7
$a
UMC
$2
thema
082
0 4
$a
004.0151
$2
23
090
$a
QA76.9.F67
$b
I61 2021
111
2
$a
International Workshop on Formal Methods for Industrial Critical Systems
$n
(26th :
$d
2021 :
$c
Online)
$3
3514101
245
1 0
$a
Formal methods for industrial critical systems
$h
[electronic resource] :
$b
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /
$c
edited by Alberto Lluch Lafuente, Anastasia Mavridou.
246
3
$a
FMICS 2021
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
xii, 249 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
12863
490
1
$a
Programming and software engineering
505
0
$a
Verification -- Verification of Co-Simulation Algorithms Subject to Algebraic Loops and Adaptive Steps -- Automated Verification of Temporal Properties of Ladder Programs -- Spatial Model Checking for Smart Stations: Research Challenges -- Program Safety and Education -- Parametric Faults in Safety Critical Programs -- Modular Transformation of Java Exceptions Modulo Errors -- On education and training in formal methods for industrial critical systems -- (Event-)B Modeling and Validation -- Improving SMT Solver Integrations for the Validation of B and Event-B Models -- Standard Conformance-by-Construction with Event-B -- Formal Analysis -- Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems -- Verifying the Mathematical Library of an UAV Autopilot with Frama-C -- Formal Analysis of the UNISIG Safety Application Intermediate Sub-Layer -- Tools -- ProB2-UI: A Java-based User Interface for ProB -- Intrepid: a Scriptable and Cloud-ready SMT-based Model Checker -- Merit and Blame Assignment with Kind 2 -- Test Generation and Probabilistic Verification -- PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems -- Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System.
520
$a
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
650
0
$a
Formal methods (Computer science)
$v
Congresses.
$3
622707
650
0
$a
Software engineering
$x
Congresses.
$3
696781
650
0
$a
Computer programs
$x
Verification
$v
Congresses.
$3
849544
650
0
$a
Computer programs
$x
Reliability
$v
Congresses.
$3
3135777
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
844546
650
0
$a
Computer software
$x
Reliability
$v
Congresses.
$3
876330
650
1 4
$a
Programming Languages, Compilers, Interpreters.
$3
891123
650
2 4
$a
Computer Systems Organization and Communication Networks.
$3
891212
650
2 4
$a
Theory of Computation.
$3
892514
650
2 4
$a
Artificial Intelligence.
$3
769149
700
1
$a
Lluch Lafuente, Alberto.
$3
2059239
700
1
$a
Mavridou, Anastasia.
$3
3514102
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
12863.
$3
3514103
830
0
$a
Programming and software engineering.
$3
3382571
856
4 0
$u
https://doi.org/10.1007/978-3-030-85248-1
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9408359
電子資源
11.線上閱覽_V
電子書
EB QA76.9.F67 I58 2021
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入