Search
for Author
All Reviews
Gutierrez, Raul
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