SLAMM – Automating Memory Analysis for Numerical Algorithms
- 作者John M. Dennis; Elizabeth R. Jessup; William M. Waite
- 卷第253卷
- 期第7期
- 印刷ISSN1571-0661
- 文件大小270.65KB
- 发表时间2010
- DOI10.1016/j.entcs.2010.08.034
- 页码89-104
同作者推荐
Zero, successor and equality in BDDsBahareh Badban; Jaco van de Pol · 2005
Generalizing DPLL and satisfiability for equalitiesBahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema · 2007
Verification of a sliding window protocol inμCRL and PVSBahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol · 2005
[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Test automation for hybrid systemsBadban, Bahareh; Fränzle, Martin; Peleska, Jan; Teige, Tino · 2006