Zur Theorie des Abbaus von Kettenmolekülen
- 作者S. KÄstner; K. Altenburg
- 卷第148卷
- 期第3期
- 印刷ISSN0303-402X
- 电子ISSN1435-1536
- 文件大小540.43KB
- 发表时间1956-09
- DOI10.1007/bf01502836
- 页码150-155
Symbolic PathFinder v7Luckow, Kasper S.; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2014
Symbolic Arrays in Symbolic PathFinderFromherz, Aymeric; Luckow, Kasper S.; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2017
PrefaceCarlos Canal; Corina S. Păsăreanu · 2010
Symbolic execution with abstractionSaswat Anand; Corina S. Păsăreanu; Willem Visser · 2009
Abstract pathfinderKhyzha, Artem; Parízek, Pavel; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2012
Symbolic quantitative information flowPhan, Quoc-Sang; Malacaria, Pasquale; Tkachuk, Oksana; Păsăreanu, Corina S. · ACM SIGSOFT Software Engineering Notes · 2012
Component Verification with Automatically Generated AssumptionsDimitra Giannakopoulou; Corina S. Păsăreanu; Howard Barringer · 2005
Finding feasible abstract counter-examplesCorina S. Păsăreanu; Matthew B. Dwyer; Willem Visser · 2003