Using Software Model Checking for Software Component Certification

  • Authors:

  • Ali Taleghani

  • Affiliations:

  • University of Waterloo, Canada

  • Venue:
  • ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
  • Year:
  • 2007

  • Model Checking Programs

    ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering

  • Search-carrying code

    Proceedings of the IEEE/ACM international conference on Automated software engineering

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recently, the notion of a third-party certifier has emerged. The certifier ensures that the published properties of a component have indeed been verified. While software certification can benefit component buyers and developers, we believe that the lack of techniques and standards has hampered the spread of its use. This research seeks to accomplish two goals: to develop state-space search strategies that enable us to use software model checkers to certify programs and to decrease the amount of intellectual property that the developer is required to share for certification.