Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation
Formal specifications can effectively guide the implementation of intended functionalities and improve the quality of software during its creation phase. However, a remaining challenge is how to verify the system’s formal specification to ensure its safety. In this paper, we describe a sy...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/11095678/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|