EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: SUMBAT: Superzising Model-based Testing
Home Policy Brochure Browse Search User Area Contact Help

2016

Bendisposto, J. and Körner, P. and Leuschel, M. and Meijer, J.J.G. and van de Pol, J.C. and Treharne, H. and Whitefield, J. (2016) Symbolic Reachability Analysis of B through ProB and LTSmin. In: Proceedings of the 12th International Conference on integrated Formal Methods, iFM 2016, 1-5 Jun 2016, Reykjavik, Iceland. pp. 275-291. Lecture Notes in Computer Science 9681. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-33692-3
Meijer, J.J.G. and van de Pol, J.C. (2016) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis. In: Proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, 7-9 Jun 2016, Minneapolis, USA. pp. 255-271. Lecture Notes in Computer Science 9690. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-40647-3

2015

Meijer, J.J.G. and van de Pol, J.C. (2015) Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking. Technical Report Number UNSPECIFIED, arXiv.org, Ithaca, NY, USA.