Loop invariant synthesis in a combined domain

Hdl Handle:
http://hdl.handle.net/10149/117186
Title:
Loop invariant synthesis in a combined domain
Book Title:
Formal methods and software engineering
Authors:
Qin, S. (Shengchao); He, G. (Guanhua); Luo, C. (Chenguang); Chin, W-N. (Wei-Ngan)
Editors:
Dong, J. S. (Jin Song); Zhu, H. (Huibiao)
Affiliation:
Teesside University
Citation:
Qin, S. et. al. (2010) 'Loop invariant synthesis in a combined domain', Dong, J. S. and Zhu, H. (eds) Formal methods and software engineering, Lecture notes in computer science, 6447. Berlin: Springer-Verlag, pp.468-484.
Publisher:
Springer-Verlag
Conference:
12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010
Issue Date:
2010
URI:
http://hdl.handle.net/10149/117186
DOI:
10.1007/978-3-642-16901-4_31
Additional Links:
http://www.springerlink.com/content/x75071h757023613/
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
automated verification; memory safety; functional correctness; heap-manipulating programs; loop invariant synthesis; combined domain
Series/Report no.:
Lecture notes in computer science; 6447
ISBN:
9783642169007
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/12/2010]
Citation Count:
0 [Web of Science and Scopus, 06/12/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorHe, G. (Guanhua)en
dc.contributor.authorLuo, C. (Chenguang)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorDong, J. S. (Jin Song)en
dc.contributor.editorZhu, H. (Huibiao)en
dc.date.accessioned2010-12-06T10:14:09Z-
dc.date.available2010-12-06T10:14:09Z-
dc.date.issued2010-
dc.identifier.isbn9783642169007-
dc.identifier.doi10.1007/978-3-642-16901-4_31-
dc.identifier.urihttp://hdl.handle.net/10149/117186-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries6447en
dc.relation.urlhttp://www.springerlink.com/content/x75071h757023613/en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/12/2010]en
dc.subjectautomated verificationen
dc.subjectmemory safetyen
dc.subjectfunctional correctnessen
dc.subjectheap-manipulating programsen
dc.subjectloop invariant synthesisen
dc.subjectcombined domainen
dc.titleLoop invariant synthesis in a combined domainen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentTeesside Universityen
dc.title.bookFormal methods and software engineeringen
dc.identifier.conference12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010en
ref.citationcount0 [Web of Science and Scopus, 06/12/2010]en
or.citation.harvardQin, S. et. al. (2010) 'Loop invariant synthesis in a combined domain', Dong, J. S. and Zhu, H. (eds) Formal methods and software engineering, Lecture notes in computer science, 6447. Berlin: Springer-Verlag, pp.468-484.-
prism.startingPage468-
prism.endingPage484-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.