Login / Signup
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.
Weichen Liu
Zonghua Gu
Jiang Xu
Yu Wang
Mingxuan Yuan
Published in:
CODES+ISSS (2009)
Keyphrases
</>
model checking
temporal logic
automated verification
artificial intelligence
finite state
formal verification
temporal properties
symbolic model checking
computation tree logic
graph theory
finite state machines
epistemic logic