Search for Author All Reviews
	Barnat, JirI     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       Control explicit--data symbolic model checking Bauch P., Havel V., Barnat J. ACM Transactions on Software Engineering and Methodology 25(2): 1-48, 2016.  Type: Article There is a recent trend toward the automation of the model checking and computer program verification process. The program or the model being verified and its verifiable property need to be restricted in the finite state spaces. The au...... Jun 9 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy