Structured specifications for better verification of heap-manipulating programs

Hdl Handle:
http://hdl.handle.net/10149/141503
Title:
Structured specifications for better verification of heap-manipulating programs
Book Title:
FM 2011: Formal Methods
Authors:
Gherghina, C. (Cristian); David, C. (Cristina); Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan)
Editors:
Butler, M. (Michael); Schulte, W. (Wolfram)
Affiliation:
University of Teesside. School of Computing.
Citation:
Gherghina, C. et. al. (2011) 'Structured specifications for better verification of heap-manipulating programs', FM 2011: 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011, in Butler, M. and Schulte, W. (eds) FM 2011: Formal Methods, Lecture notes in computer science, 6664, Berlin: Springer, pp.386-401.
Publisher:
Springer
Conference:
FM 2011: 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011
Issue Date:
2011
URI:
http://hdl.handle.net/10149/141503
Additional Links:
http://www.springerlink.com/content/978-3-642-21436-3/#section=911250&page=1&locus=0; http://sites.lero.ie/fm2011/conferenceproceedings.html
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
structured specifications; verification; heap-manipulating programs
Series/Report no.:
Lecture notes in computer science; 6664
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 01/09/2011]
Citation Count:
0 [Scopus, 01/09/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorGherghina, C. (Cristian)en
dc.contributor.authorDavid, C. (Cristina)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorButler, M. (Michael)en
dc.contributor.editorSchulte, W. (Wolfram)en
dc.date.accessioned2011-09-01T14:14:46Zen
dc.date.available2011-09-01T14:14:46Zen
dc.date.issued2011en
dc.identifier.urihttp://hdl.handle.net/10149/141503en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries6664en
dc.relation.urlhttp://www.springerlink.com/content/978-3-642-21436-3/#section=911250&page=1&locus=0en
dc.relation.urlhttp://sites.lero.ie/fm2011/conferenceproceedings.htmlen
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 01/09/2011]en
dc.subjectstructured specificationsen
dc.subjectverificationen
dc.subjectheap-manipulating programsen
dc.titleStructured specifications for better verification of heap-manipulating programsen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookFM 2011: Formal Methodsen
dc.identifier.conferenceFM 2011: 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011en
ref.citationcount0 [Scopus, 01/09/2011]en
or.citation.harvardGherghina, C. et. al. (2011) 'Structured specifications for better verification of heap-manipulating programs', FM 2011: 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011, in Butler, M. and Schulte, W. (eds) FM 2011: Formal Methods, Lecture notes in computer science, 6664, Berlin: Springer, pp.386-401.en
prism.startingPage386en
prism.endingPage401en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.