March 15, 2016
Symbolic Reachability Analysis of B through ProB and LTSmin
Authors
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Venue
iFM 2016
Bibtex
@InProceedings(probltsminintegration,
Author = {Jens Bendisposto and Philipp Körner and Michael Leuschel and Jeroen Meijer and van de Pol, Jaco and Helen Treharne and Jorden Whitefield},
Title = {{Symbolic Reachability Analysis of B through ProB and LTSmin}},
Booktitle = {Proceedings iFM (International Conference on integrated Formal Methods)},
Year = 2016,
Series = {Lecture Notes in Computer Science},
Volume = 9681,
Pages = {275--291},
Publisher = {Springer}
)
