Probabilistic Model Checking for Green Energy Router System in Energy Internet.

Min Gao Kun Wang Lei He

Published in: GLOBECOM (2017)

Keyphrases

model checking
temporal logic
formal verification
temporal properties
symbolic model checking
model checker
verification method
formal specification
timed automata
automated verification
partial order reduction
finite state
formal methods
process algebra