Where formal verification can help in functional safety analysis-Reference-Cited by-同舟云学术

Where formal verification can help in functional safety analysis

Published:2016-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th International Conference on Computer-Aided Design
language:
Short-container-title:

Author:

Bernardini Alessandro¹,Ecker Wolfgang²,Schlichtmann Ulf¹

Affiliation:

1. Technical University of Munich, Germany

2. Infineon Technologies AG, Germany and Technical University of Munich, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2966986.2980087

Reference22 articles.

1. Christel Baier Joost-Pieter Katoen and Kim Guldstrand Larsen. Principles of model checking. MIT press 2008. Christel Baier Joost-Pieter Katoen and Kim Guldstrand Larsen. Principles of model checking. MIT press 2008.

2. Radiation-induced soft errors in advanced semiconductor technologies

3. A Biere. Aiger format. http://fmv.jku.at/aiger/FORMAT 2007. A Biere. Aiger format. http://fmv.jku.at/aiger/FORMAT 2007.

4. A Biere and KL Claessen. Hardware model checking competition (hwmcc) benchmarks. http://fmv.jku.at/hwmcc15/. A Biere and KL Claessen. Hardware model checking competition (hwmcc) benchmarks. http://fmv.jku.at/hwmcc15/.

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

1. Design of a Rugged Radiating Panel Assembly with High Reliability;2023 IEEE Microwaves, Antennas, and Propagation Conference (MAPCON);2023-12-11

2. Accelerate Safety Model Checking Based on Complementary Approximate Reachability;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09

3. FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Automated Identification of Application-Dependent Safe Faults in Automotive Systems-on-a-Chips;Electronics;2022-01-20

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