Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms.
Vince MolnárIstván MajzikPublished in: Period. Polytech. Electr. Eng. Comput. Sci. (2017)
Keyphrases
- error detection
- fault tolerance
- model checking
- fault tolerant
- temporal logic
- formal verification
- distributed systems
- formal methods
- model checker
- automated verification
- response time
- load balancing
- temporal properties
- epistemic logic
- error correction
- symbolic model checking
- concurrent systems
- formal specification
- peer to peer
- bounded model checking
- mobile agents
- reactive systems
- timed automata
- software systems
- software development
- verification method
- transition systems
- test suite
- expert systems
- software architecture
- planning domains
- single point of failure