Back to Results
First PageMeta Content
Graph theory / Mathematics / Model checking / Theoretical computer science / Graph / Binary decision diagram / Tree / Circuit / Symbolic trajectory evaluation / Signal-flow graph / Topology


Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c
Add to Reading List

Document Date: 2011-07-23 03:31:56


Open Document

File Size: 165,62 KB

Share Result on Facebook
UPDATE