View in EDS

VerifyThis 2012.

Saved in:
Bibliographic Details
Title: VerifyThis 2012.
Authors: Huisman, Marieke1 m.huisman@utwente.nl, Klebanov, Vladimir2 klebanov@kit.edu, Monahan, Rosemary3 Rosemary.Monahan@nuim.ie
Source: International Journal on Software Tools for Technology Transfer. Nov2015, Vol. 17 Issue 6, p647-657. 11p.
Subjects: Software verification, Formal methods (Computer science), Software engineering, National Physical Laboratory (Great Britain), Boolean functions, Software development tools, Conferences & conventions
Abstract: VerifyThis 2012 was a 2-day verification competition that took 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. [ABSTRACT FROM AUTHOR]
Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 110204071
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: VerifyThis 2012.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Huisman%2C+Marieke%22">Huisman, Marieke</searchLink><relatesTo>1</relatesTo><i> m.huisman@utwente.nl</i><br /><searchLink fieldCode="AR" term="%22Klebanov%2C+Vladimir%22">Klebanov, Vladimir</searchLink><relatesTo>2</relatesTo><i> klebanov@kit.edu</i><br /><searchLink fieldCode="AR" term="%22Monahan%2C+Rosemary%22">Monahan, Rosemary</searchLink><relatesTo>3</relatesTo><i> Rosemary.Monahan@nuim.ie</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+on+Software+Tools+for+Technology+Transfer%22">International Journal on Software Tools for Technology Transfer</searchLink>. Nov2015, Vol. 17 Issue 6, p647-657. 11p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22National+Physical+Laboratory+%28Great+Britain%29%22">National Physical Laboratory (Great Britain)</searchLink><br /><searchLink fieldCode="DE" term="%22Boolean+functions%22">Boolean functions</searchLink><br /><searchLink fieldCode="DE" term="%22Software+development+tools%22">Software development tools</searchLink><br /><searchLink fieldCode="DE" term="%22Conferences+%26+conventions%22">Conferences & conventions</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: VerifyThis 2012 was a 2-day verification competition that took 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. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=110204071
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10009-015-0396-8
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 647
    Subjects:
      – SubjectFull: Software verification
        Type: general
      – SubjectFull: Formal methods (Computer science)
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: National Physical Laboratory (Great Britain)
        Type: general
      – SubjectFull: Boolean functions
        Type: general
      – SubjectFull: Software development tools
        Type: general
      – SubjectFull: Conferences & conventions
        Type: general
    Titles:
      – TitleFull: VerifyThis 2012.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Huisman, Marieke
      – PersonEntity:
          Name:
            NameFull: Klebanov, Vladimir
      – PersonEntity:
          Name:
            NameFull: Monahan, Rosemary
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov2015
              Type: published
              Y: 2015
          Identifiers:
            – Type: issn-print
              Value: 14332779
          Numbering:
            – Type: volume
              Value: 17
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: International Journal on Software Tools for Technology Transfer
              Type: main
ResultId 1