Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving.
Mohamed AbdelghanyWaqar AhmadSofiène TaharPublished in: IEEE Syst. J. (2022)
Keyphrases
- theorem proving
- safety critical
- reliability analysis
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- first order logic
- management system
- term rewriting
- proof planning
- nuclear power plant
- agent architecture
- theorem prover
- parallel search
- software engineering
- fuzzy logic
- adaptive systems
- artificial intelligence
- intelligent systems
- software development
- object oriented
- knowledge base