View in EDS

VerifyThis 2015.

Saved in:
Bibliographic Details
Title: VerifyThis 2015.
Authors: Huisman, Marieke1 m.huisman@utwente.nl, Klebanov, Vladimir2 klebanov@kit.edu, Monahan, Rosemary3 Rosemary.Monahan@nuim.ie, Tautschnig, Michael4 michael.tautschnig@qmul.ac.uk
Source: International Journal on Software Tools for Technology Transfer. Nov2017, Vol. 19 Issue 6, p763-771. 9p.
Subjects: Software verification, Computer software installation, Software development tools, Computer software conferences
Geographic Terms: London (England)
Abstract: VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments 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: 125593086
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: VerifyThis 2015.
– 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><br /><searchLink fieldCode="AR" term="%22Tautschnig%2C+Michael%22">Tautschnig, Michael</searchLink><relatesTo>4</relatesTo><i> michael.tautschnig@qmul.ac.uk</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>. Nov2017, Vol. 19 Issue 6, p763-771. 9p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+installation%22">Computer software installation</searchLink><br /><searchLink fieldCode="DE" term="%22Software+development+tools%22">Software development tools</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+conferences%22">Computer software conferences</searchLink>
– Name: SubjectGeographic
  Label: Geographic Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22London+%28England%29%22">London (England)</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments 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=125593086
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10009-016-0438-x
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 9
        StartPage: 763
    Subjects:
      – SubjectFull: Software verification
        Type: general
      – SubjectFull: Computer software installation
        Type: general
      – SubjectFull: Software development tools
        Type: general
      – SubjectFull: Computer software conferences
        Type: general
      – SubjectFull: London (England)
        Type: general
    Titles:
      – TitleFull: VerifyThis 2015.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Huisman, Marieke
      – PersonEntity:
          Name:
            NameFull: Klebanov, Vladimir
      – PersonEntity:
          Name:
            NameFull: Monahan, Rosemary
      – PersonEntity:
          Name:
            NameFull: Tautschnig, Michael
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 11
              Text: Nov2017
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-print
              Value: 14332779
          Numbering:
            – Type: volume
              Value: 19
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: International Journal on Software Tools for Technology Transfer
              Type: main
ResultId 1