Michael Leuschel: Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:..."

2022-06-24T11:06:45Z

Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:..."

New page

The initial conference publication was:

* Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors: FME 2003: Formal Methods, LNCS 2805, Springer-Verlag, pp. 855–874, doi:10.1007/978-3-540-45236-2 46.

<pre>
@inproceedings{LeuschelButler:FME03,
author = {Michael Leuschel and Michael Butler},
title = {Pro{B}: A Model Checker for {B}},
booktitle = {FME 2003: Formal Methods},
editor = {Araki, Keijiro and Gnesi, Stefania and Mandrioli, Dino},
publisher = {Springer-Verlag},
series = {LNCS 2805},
year = 2003,
pages = {855--874},
isbn = {3-540-40828-2},
doi = {10.1007/978-3-540-45236-2\_46},
}
</pre>

Later journal article describing ProB in more detail:
* Michael Leuschel & Michael J. Butler (2008): ProB: an automated analysis toolset for the B method. STTT 10(2), pp. 185–203. Available at [http://dx.doi.org/10.1007/s10009-007-0063-9 http://dx.doi.org/10.1007/s10009-007-0063-9].

<pre>
@article{DBLP:journals/sttt/LeuschelB08,
author = {Michael Leuschel and
Michael J. Butler},
title = {{ProB}: an automated analysis toolset for the {B} method},
journal = {STTT},
volume = {10},
number = {2},
year = {2008},
pages = {185--203},
ee = {http://dx.doi.org/10.1007/s10009-007-0063-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
</pre>

Citing ProB - Revision history

Michael Leuschel: Created page with " The initial conference publication was: * Michael Leuschel & Michael Butler (2003): ProB: A Model Checker for B. In Keijiro Araki, Stefania Gnesi & Dino Mandrioli, editors:..."