Formal analysis of fault tree using probabilistic model checking: A solar array case study.
Marwan AmmarKhaza Anuarul HoqueOtmane Aït MohamedPublished in: SysCon (2016)
Keyphrases
- formal analysis
- model checking
- formal methods
- case study
- fault tree
- temporal logic
- model checker
- formal specification
- temporal properties
- formal verification
- qualitative analysis
- bounded model checking
- automated verification
- gas turbine
- timed automata
- epistemic logic
- verification method
- symbolic model checking
- computation tree logic
- fault diagnosis
- concurrent systems
- friendly interface
- transition systems
- reliability analysis
- agent model
- software development
- fuzzy logic
- development process
- alternating time temporal logic
- artificial intelligence
- probabilistic reasoning
- quantitative analysis