Modelling Dynamic Data Structures with the B Method

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
Digital Printed Abstract View Cite
Type
Short Paper
Publication
6th International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ'18)

Abstract

The software B method has so far been mainly used in the industrial world to develop safety critical software with very basic memory management limited to arrays of fixed size defined at compilation time.

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{BadeauLMVM18,
  author       = {Fr{\'{e}}d{\'{e}}ric Badeau and
                  Vincent Lacroix and
                  Vincent Monfort and
                  Laurent Voisin and
                  Christophe M{\'{e}}tayer},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {Modelling Dynamic Data Structures with the {B} Method},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {420--424},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_34},
  doi          = {10.1007/978-3-319-91271-4\_34},
  timestamp    = {Tue, 29 Dec 2020 18:38:32 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/BadeauLMVM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'18

Related