Symbolic trajectory evaluation
Results: 2
# | Item |
---|---|
1![]() | 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. {cAdd to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2011-07-23 03:31:56 |
2![]() | Microsoft PowerPoint - all-lectures-markt07Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2007-08-04 08:21:38 |