Artigo Revisado por pares

Verifying Temporal Heap Properties Specified via Evolution Logic

2006; Oxford University Press; Volume: 14; Issue: 5 Linguagem: Inglês

10.1093/jigpal/jzl009

ISSN

1368-9894

Autores

Eran Yahav, Thomas Reps, Mooly Sagiv, Reinhard Wilhelm,

Tópico(s)

Model-Driven Software Engineering Techniques

Resumo

Journal 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)
Altmetric
PlumX