VerifyThis 2012 - A Program Verification Competition

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

  • 5 Citations

Abstract

VerifyThis 2012 was a two-day verification competition taking place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012 in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.
Original languageUndefined
Pages (from-to)647-657
Number of pages11
JournalInternational journal on software tools for technology transfer
Volume17
Issue number6
DOIs
StatePublished - Nov 2015

Fingerprint

Formal methods

Keywords

  • EWI-26462
  • METIS-315036
  • IR-98407

Cite this

Huisman, M., Klebanov, V., & Monahan, R. (2015). VerifyThis 2012 - A Program Verification Competition. 17(6), 647-657. DOI: 10.1007/s10009-015-0396-8

Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary / VerifyThis 2012 - A Program Verification Competition.

Vol. 17, No. 6, 11.2015, p. 647-657.

Research output: ScientificArticle

@article{e8c61c11bb0748958a8e76501ec577ef,
title = "VerifyThis 2012 - A Program Verification Competition",
abstract = "VerifyThis 2012 was a two-day verification competition taking place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012 in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.",
keywords = "EWI-26462, METIS-315036, IR-98407",
author = "Marieke Huisman and Vladimir Klebanov and Rosemary Monahan",
note = "eemcs-eprint-26462",
year = "2015",
month = "11",
doi = "10.1007/s10009-015-0396-8",
volume = "17",
pages = "647--657",
number = "6",

}

Huisman, M, Klebanov, V & Monahan, R 2015, 'VerifyThis 2012 - A Program Verification Competition' vol 17, no. 6, pp. 647-657. DOI: 10.1007/s10009-015-0396-8

VerifyThis 2012 - A Program Verification Competition. / Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary.

Vol. 17, No. 6, 11.2015, p. 647-657.

Research output: ScientificArticle

TY - JOUR

T1 - VerifyThis 2012 - A Program Verification Competition

AU - Huisman,Marieke

AU - Klebanov,Vladimir

AU - Monahan,Rosemary

N1 - eemcs-eprint-26462

PY - 2015/11

Y1 - 2015/11

N2 - VerifyThis 2012 was a two-day verification competition taking place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012 in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.

AB - VerifyThis 2012 was a two-day verification competition taking place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012 in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments of VerifyThis.

KW - EWI-26462

KW - METIS-315036

KW - IR-98407

U2 - 10.1007/s10009-015-0396-8

DO - 10.1007/s10009-015-0396-8

M3 - Article

VL - 17

SP - 647

EP - 657

IS - 6

ER -

Huisman M, Klebanov V, Monahan R. VerifyThis 2012 - A Program Verification Competition. 2015 Nov;17(6):647-657. Available from, DOI: 10.1007/s10009-015-0396-8