On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking.
Josef StrnadelPublished in: DSD (2017)
Keyphrases
- fault tolerant
- model checking
- safety critical
- distributed systems
- fault tolerance
- automated verification
- formal methods
- temporal logic
- finite state machines
- reactive systems
- concurrent systems
- formal specification
- model checker
- temporal properties
- artifact centric
- complex systems
- timed automata
- finite state
- pspace complete
- formal verification
- load balancing
- deterministic finite automaton
- partial order reduction
- transition systems
- symbolic model checking
- verification method
- asynchronous circuits
- bounded model checking
- process algebra
- computation tree logic