View in EDS

Rigorous examination of reactive systems.

Saved in:
Bibliographic Details
Title: Rigorous examination of reactive systems.
Authors: Howar, Falk1, Isberner, Malte2 malte.isberner@cs.uni-dortmund.de, Merten, Maik2, Steffen, Bernhard2, Beyer, Dirk3, Păsăreanu, Corina1
Source: International Journal on Software Tools for Technology Transfer. Oct2014, Vol. 16 Issue 5, p457-464. 8p.
Subjects: Verification of computer systems, Software verification, Software validation, Benchmark testing (Engineering), Statistical models, Mathematical models
Abstract: The goal of the RERS challenge is to evaluate the effectiveness of various verification and validation approaches on reactive systems, a class of systems that is highly relevant for industrial critical applications. The RERS challenge brings together researchers from different areas of software verification and validation, including static analysis, model checking, theorem proving, symbolic execution, and testing. The challenge provides a forum for experimental comparison of different techniques on specifically designed verification tasks. These benchmarks are automatically synthesized to exhibit chosen properties, and then enhanced to include dedicated dimensions of difficulty, such as conceptual complexity of the properties (e.g., reachability, safety, liveness), size of the reactive systems (a few hundred lines to millions of lines), and complexity of language features (arrays and pointer arithmetic). The STTT special section on RERS describes the results of the evaluations and the different analysis techniques that were used in the RERS challenges 2012 and 2013. [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: 97809851
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Rigorous examination of reactive systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Howar%2C+Falk%22">Howar, Falk</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Isberner%2C+Malte%22">Isberner, Malte</searchLink><relatesTo>2</relatesTo><i> malte.isberner@cs.uni-dortmund.de</i><br /><searchLink fieldCode="AR" term="%22Merten%2C+Maik%22">Merten, Maik</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Steffen%2C+Bernhard%22">Steffen, Bernhard</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Beyer%2C+Dirk%22">Beyer, Dirk</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Păsăreanu%2C+Corina%22">Păsăreanu, Corina</searchLink><relatesTo>1</relatesTo>
– 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>. Oct2014, Vol. 16 Issue 5, p457-464. 8p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Verification+of+computer+systems%22">Verification of computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Software+validation%22">Software validation</searchLink><br /><searchLink fieldCode="DE" term="%22Benchmark+testing+%28Engineering%29%22">Benchmark testing (Engineering)</searchLink><br /><searchLink fieldCode="DE" term="%22Statistical+models%22">Statistical models</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+models%22">Mathematical models</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The goal of the RERS challenge is to evaluate the effectiveness of various verification and validation approaches on reactive systems, a class of systems that is highly relevant for industrial critical applications. The RERS challenge brings together researchers from different areas of software verification and validation, including static analysis, model checking, theorem proving, symbolic execution, and testing. The challenge provides a forum for experimental comparison of different techniques on specifically designed verification tasks. These benchmarks are automatically synthesized to exhibit chosen properties, and then enhanced to include dedicated dimensions of difficulty, such as conceptual complexity of the properties (e.g., reachability, safety, liveness), size of the reactive systems (a few hundred lines to millions of lines), and complexity of language features (arrays and pointer arithmetic). The STTT special section on RERS describes the results of the evaluations and the different analysis techniques that were used in the RERS challenges 2012 and 2013. [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=97809851
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10009-014-0337-y
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 8
        StartPage: 457
    Subjects:
      – SubjectFull: Verification of computer systems
        Type: general
      – SubjectFull: Software verification
        Type: general
      – SubjectFull: Software validation
        Type: general
      – SubjectFull: Benchmark testing (Engineering)
        Type: general
      – SubjectFull: Statistical models
        Type: general
      – SubjectFull: Mathematical models
        Type: general
    Titles:
      – TitleFull: Rigorous examination of reactive systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Howar, Falk
      – PersonEntity:
          Name:
            NameFull: Isberner, Malte
      – PersonEntity:
          Name:
            NameFull: Merten, Maik
      – PersonEntity:
          Name:
            NameFull: Steffen, Bernhard
      – PersonEntity:
          Name:
            NameFull: Beyer, Dirk
      – PersonEntity:
          Name:
            NameFull: Păsăreanu, Corina
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Text: Oct2014
              Type: published
              Y: 2014
          Identifiers:
            – Type: issn-print
              Value: 14332779
          Numbering:
            – Type: volume
              Value: 16
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: International Journal on Software Tools for Technology Transfer
              Type: main
ResultId 1