Using Event-B to Verify the Kmelia Components and Their Assemblies

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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{AndreAAL10,
  author       = {Pascal Andr{\'{e}} and
                  Gilles Ardourel and
                  J. Christian Attiogb{\'{e}} and
                  Arnaud Lanoix},
  editor       = {Marc Frappier and
                  Uwe Gl{\"{a}}sser and
                  Sarfraz Khurshid and
                  R{\'{e}}gine Laleau and
                  Steve Reeves},
  title        = {Using Event-B to Verify the Kmelia Components and Their Assemblies},
  booktitle    = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
                  {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5977},
  pages        = {410},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11811-1\_43},
  doi          = {10.1007/978-3-642-11811-1\_43},
  timestamp    = {Thu, 14 Oct 2021 10:31:49 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/AndreAAL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}