Structured specifications for better verification of heap-manipulating programs

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

94 Downloads (Pure)
Original languageEnglish
Title of host publicationFM 2011: Formal Methods
Subtitle of host publicationLecture notes in computer science, 6664
EditorsMichael Butler, Wolfram Schulte
Place of PublicationBerlin
PublisherSpringer
Pages386-401
Publication statusPublished - 2011
Event17th International Symposium on Formal Methods - Limerick, Ireland
Duration: 20 Jun 201124 Jun 2011
Conference number: 17

Publication series

NameLecture notes in computer science; 6664

Conference

Conference17th International Symposium on Formal Methods
Abbreviated titleFM 2011
CountryIreland
CityLimerick
Period20/06/1124/06/11

Cite this

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 (pp. 386-401). (Lecture notes in computer science; 6664). Springer.