A new model for model checking: cycle-weighted Kripke structure.

Jiaqi Zhu Hanpin Wang Zhongyuan Xu Chunxiang Xu

Published in: Frontiers Comput. Sci. China (2010)

Keyphrases

model checking
temporal logic
model checker
temporal properties
verification method
finite state machines
process algebra
finite state
formal verification
symbolic model checking
artificial intelligence
software engineering
formal specification
symbolic representation
asynchronous circuits