Using event-b to verify the Kmelia components and their assemblies

  • Authors:

  • Pascal André;Gilles Ardourel;Christian Attiogbé;Arnaud Lanoix

  • Affiliations:

  • COLOSS Team, LINA CNRS UMR 6241 - University of Nantes;COLOSS Team, LINA CNRS UMR 6241 - University of Nantes;COLOSS Team, LINA CNRS UMR 6241 - University of Nantes;COLOSS Team, LINA CNRS UMR 6241 - University of Nantes

  • Venue:
  • ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Component-based software engineering is a practical approach to address the issue of building large software by combining existing and new components. However, building reliable software systems from components requires to verify the consistency of components and the correctness of their assemblies.