Evaluation of redundancy-based system: a model checking approach.

Ling Fang Chunyan Mu Zhuo Cheng Guoqiang Li

Published in: Sci. China Inf. Sci. (2018)

Keyphrases

model checking
temporal logic
formal verification
finite state
model checker
computation tree logic
formal specification

temporal properties
automated verification
symbolic model checking
reachability analysis
bounded model checking
partial order reduction
process algebra

verification method
epistemic logic
pspace complete
concurrent systems
timed automata
transition systems
formal methods

artificial intelligence
linear temporal logic
finite state machines
modal logic
heuristic search
knowledge representation
alternating time temporal logic