期刊名称：Lecture Notes in Engineering and Computer Science
印刷版ISSN：2078-0958
电子版ISSN：2078-0966
出版年度：2018
卷号：2233&2234
页码：112-116
出版社：Newswood and International Association of Engineers
摘要：To use a solver for optimization problems, we need
to formulate a mathematical programming model acceptable
by the solver. Such a formulation may need some heuristic
techniques with professional knowledge and the user is responsible
for the correctness of the formulation. In this paper
we investigate a way to verify the correctness of formulation
by using formal verification techniques. Through examples of
formulation techniques in optimization problems, we give a way
to describe formal specifications of given models and a way to
verify the correctness of the models.
关键词：optimization problems; mathematical programming;
formula transformations; formal methods; algebraic
specifications;
