Sil Verification
SIL Verification is a formal validation process within functional safety engineering that confirms a Safety Instrumented Function meets its specified Safety Integrity Level requirements by quantitatively analyzing the system’s probabilistic performance against defined reliability targets.
36
Publications
813
Citations
122
Authors
47
Institutions
Publications per year
2017–2026
8
Parents
36
Formal Methods in Safety-Critical Railway Systems
Thierry Lecomte, thierry servat · 2007 · 52 citations
1–5 of 36
122
2
h-index
Korea Advanced Institute of Science and Technology, South Korea
2 publications · 40 citations
2
h-index
2
h-index
2
h-index
1
h-index
1–5 of 122
47
Tunis University
Tunis, Tunisia
2 h-index
6 publications
84 citations
Seoul National University
Seoul, South Korea
2 h-index
3 publications
46 citations
Shenyang Institute of Automation
Shenyang, China
2 h-index
7 publications
207 citations
Hyundai Heavy Industries (South Korea)
Ulsan, South Korea
2 h-index
3 publications
58 citations

University of Žilina
Žilina, Slovakia
2 h-index
4 publications
73 citations
Tunis El Manar University
Tunis, Tunisia
2 h-index
6 publications
84 citations
University of Chinese Academy of Sciences
Beijing, China
2 h-index
7 publications
207 citations
Korea Advanced Institute of Science and Technology
Daejeon, South Korea
2 h-index
5 publications
98 citations
1–8 of 47
5 publications · 118 citations
5
h-index
5 publications · 148 citations
4
h-index
2 publications · 35 citations
2
h-index
2 publications · 24 citations
2
h-index
1 publications · 12 citations
1
h-index
1–5