Structured specifications for better verification of heap-manipulating programs

Cristian Gherghina; Cristina David; Shengchao Qin; Wei-Ngan Chin

Structured specifications for better verification of heap-manipulating programs

Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

SCEDT School Executive Team

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

272 Downloads (Pure)

Original language	English
Title of host publication	FM 2011: Formal Methods
Subtitle of host publication	Lecture notes in computer science, 6664
Editors	Michael Butler, Wolfram Schulte
Place of Publication	Berlin
Publisher	Springer
Pages	386-401
Publication status	Published - 2011
Event	17th International Symposium on Formal Methods - Limerick, Ireland Duration: 20 Jun 2011 → 24 Jun 2011 Conference number: 17

Publication series

Name	Lecture notes in computer science; 6664

Conference

Conference	17th International Symposium on Formal Methods
Abbreviated title	FM 2011
Country/Territory	Ireland
City	Limerick
Period	20/06/11 → 24/06/11

Access to Document

Accepted manuscriptAccepted author manuscript, 154 KBLicence: CC BY-NC-ND

Cite this

@inproceedings{f1745b2ad7f04e8b9c8f1afd44c2a2f3,

title = "Structured specifications for better verification of heap-manipulating programs",

author = "Cristian Gherghina and Cristina David and Shengchao Qin and Wei-Ngan Chin",

year = "2011",

language = "English",

series = "Lecture notes in computer science; 6664",

publisher = "Springer",

pages = "386--401",

editor = "Michael Butler and Wolfram Schulte",

booktitle = "FM 2011: Formal Methods",

note = "17th International Symposium on Formal Methods, FM 2011 ; Conference date: 20-06-2011 Through 24-06-2011",

}

Gherghina, C, David, C, Qin, S & Chin, W-N 2011, Structured specifications for better verification of heap-manipulating programs. in M Butler & W Schulte (eds), FM 2011: Formal Methods: Lecture notes in computer science, 6664. Lecture notes in computer science; 6664, Springer, Berlin, pp. 386-401, 17th International Symposium on Formal Methods, Limerick, Ireland, 20/06/11.

Structured specifications for better verification of heap-manipulating programs. / Gherghina, Cristian; David, Cristina; Qin, Shengchao et al.
FM 2011: Formal Methods: Lecture notes in computer science, 6664. ed. / Michael Butler; Wolfram Schulte. Berlin: Springer, 2011. p. 386-401 (Lecture notes in computer science; 6664).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Structured specifications for better verification of heap-manipulating programs

AU - Gherghina, Cristian

AU - David, Cristina

AU - Qin, Shengchao

AU - Chin, Wei-Ngan

N1 - Conference code: 17

PY - 2011

Y1 - 2011

M3 - Conference contribution

T3 - Lecture notes in computer science; 6664

SP - 386

EP - 401

BT - FM 2011: Formal Methods

A2 - Butler, Michael

A2 - Schulte, Wolfram

PB - Springer

CY - Berlin

T2 - 17th International Symposium on Formal Methods

Y2 - 20 June 2011 through 24 June 2011

ER -