Verifying Temporal Heap Properties Specified via Evolution Logic
2006; Oxford University Press; Volume: 14; Issue: 5 Linguagem: Inglês
10.1093/jigpal/jzl009
ISSN1368-9894
AutoresEran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm,
Tópico(s)Model-Driven Software Engineering Techniques
ResumoJournal Article Verifying Temporal Heap Properties Specified via Evolution Logic Get access E. Yahav, E. Yahav School of Computer Science, Tel Aviv University, Tel Aviv, 69978, Israel. E-mail: yahave@post.tau.ac.il Search for other works by this author on: Oxford Academic Google Scholar T. Reps, T. Reps Computer Sciences Department, University of Wisconsin, Madison, WI 53706, USA. E-mail: reps@cs.wisc.edu Search for other works by this author on: Oxford Academic Google Scholar M. Sagiv, M. Sagiv School of Computer Science, Tel Aviv University, Tel Aviv, 69978, Israel. E-mail: msagiv@post.tau.ac.il Search for other works by this author on: Oxford Academic Google Scholar R. Wilhelm R. Wilhelm Informatik, Universität des Saarlandes, Saarbrücken, Germany. E-mail: wilhelm@cs.uni-sb.de Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 14, Issue 5, October 2006, Pages 755–783, https://doi.org/10.1093/jigpal/jzl009 Published: 01 October 2006 Article history Received: 01 September 2004 Published: 01 October 2006
Referência(s)