The Community for Technology Leaders
2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) (2013)
Birmingham, United Kingdom
July 1, 2013 to July 3, 2013
ISBN: 978-0-7695-5053-4
pp: 157-164
ABSTRACT
This paper investigates the integration of linear constraints with MSVL. To this end, we first define linear constraint statements and discuss related issues of the incorporation. Further, for calling SMT solvers to solve the newly introduced constraints, we give a translation algorithm from state programs in MSVL with linear constraints to SMT-LIB2.0 script language and then supply a solving procedure.
INDEX TERMS
Arrays, Noise measurement, Optimization, Syntactics, Logic programming, Semantics
CITATION

Q. Ma, Z. Duan and M. Yang, "Integration of Linear Constraints with a Temporal Logic Programming Language," 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE), Birmingham, United Kingdom, 2013, pp. 157-164.
doi:10.1109/TASE.2013.30
88 ms
(Ver 3.3 (11022016))