Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework

Abstract

State-based Formal methods have been used to design and verify the development of complex software systems for a long time. Such methods are underpinned with solid mathematical concepts.

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{Riviere21,
  author       = {Peter Riviere},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {Formal Meta Engineering Event-B: Extension and Reasoning The {EB4EB}
                  Framework},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {153--157},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_15},
  doi          = {10.1007/978-3-030-77543-8\_15},
  timestamp    = {Wed, 09 Jun 2021 12:14:31 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/Riviere21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}