June 29, 2018
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin
Authors
Philipp Körner, Jeroen Meijer, Michael Leuschel
Venue
iFM 2018
Bibtex
@InProceedings(ltsminintegration,
Author = {Philipp Körner and Jeroen Meijer and Michael Leuschel},
Title = {{State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin}},
Booktitle = {Proceedings iFM (International Conference on integrated Formal Methods)},
Year = 2018,
Series = {Lecture Notes in Computer Science},
Volume = 11023,
Pages = {275--295},
Publisher = {Springer}
)
