Search for Author All Reviews
	Dobrikov, Ivaylo     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Optimising the ProB model checker for B using partial order reduction Dobrikov I., Leuschel M. Formal Aspects of Computing 28(2): 295-323, 2016.  Type: Article Model checking is a way to see if a design meets requirements. It starts with a model that abstracts how events affect a system. Then, the designers formulate a required behavior, for example, that something will never happen. The chec...... Jun 20 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy