Login / Signup
Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities.
Min Gao
Kun Wang
Lei He
Published in:
IEEE Trans. Ind. Informatics (2018)
Keyphrases
</>
model checking
temporal logic
finite state
automated verification
temporal properties
formal verification
model checker
formal specification
epistemic logic
asynchronous circuits
bounded model checking
finite state machines
symbolic model checking
transition systems
verification method