Search for Author All Reviews
	Lucas, Salvador     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       Automatic synthesis of logical models for order-sorted first-order theories Lucas S., Gutiérrez R. Journal of Automated Reasoning 60(4): 465-501, 2018.  Type: Article Many problems in formal program analysis and verification can be reduced to determining whether a logical theory (a set of logic formulas) derived from the program has a model, that is, whether there exists a structure that provides de...... Jul 5 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy