Model checking fault tolerant systems-Reference-Cited by-同舟云学术

Model checking fault tolerant systems

Published:2002 Issue:4 Volume:12 Page:251-275
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Bernardeschi Cinzia,Fantechi Alessandro,Gnesi Stefania

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Reference42 articles.

1. Dependable Co;Laprie,1992

2. Formal methods Europe applications database. http://www.fmeurope.org/databases/full.html.

3. European Committee for the Electrotechnical Standardization (CENELEC). Railway applications: Software for railway control and protection systems. EN 50128. 1994.

4. Automatic verification of finite-state concurrent systems using temporal logic specifications

5. Formally Verifying Fault Tolerant System Designs

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation;2021 IEEE International Test Conference (ITC);2021-10

2. Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems;Reliability Engineering & System Safety;2021-01

3. Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems;IEEE Access;2020

4. Configuration of inter-process communication with probabilistic model checking;International Journal on Software Tools for Technology Transfer;2019-10-26

5. Verification of fault tolerant safety I&C systems using model checking;2019 IEEE International Conference on Industrial Technology (ICIT);2019-02