Automatically refining partial specifications for program verification

Hdl Handle:
http://hdl.handle.net/10149/141501
Title:
Automatically refining partial specifications for program verification
Book Title:
FM 2011: Formal Methods
Authors:
Qin, S. (Shengchao); Luo, C. (Chenguang); Chin, W-N. (Wei-Ngan); He, G. (Guanhua)
Editors:
Butler, M. (Michael); Schulte, W. (Wolfram)
Affiliation:
Teesside University
Citation:
Qin, S. et. al. (2011) 'Automatically refining partial specifications for program verification', 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.369-385.
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/141501
Additional Links:
http://www.springerlink.com/content/978-3-642-21436-3/#section=911248&page=16&locus=95; http://sites.lero.ie/fm2011/conferenceproceedings.html
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
heap-manipulating programs; program verification; automatically refining; partial specifications
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.authorQin, S. (Shengchao)en
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.editorButler, M. (Michael)en
dc.contributor.editorSchulte, W. (Wolfram)en
dc.date.accessioned2011-09-01T13:58:20Z-
dc.date.available2011-09-01T13:58:20Z-
dc.date.issued2011-
dc.identifier.urihttp://hdl.handle.net/10149/141501-
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=911248&page=16&locus=95en
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.subjectheap-manipulating programsen
dc.subjectprogram verificationen
dc.subjectautomatically refiningen
dc.subjectpartial specificationsen
dc.titleAutomatically refining partial specifications for program verificationen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentTeesside Universityen
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.harvardQin, S. et. al. (2011) 'Automatically refining partial specifications for program verification', 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.369-385.en
prism.startingPage369en
prism.endingPage385en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.