Integration of Linear Constraints with a Temporal Logic Programming Language

Theoretical Aspects of Software Engineering（2013）

引用 0|浏览0

暂无评分

摘要

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.

查看译文

关键词

smt solvers,translation algorithm,logic programming languages,temporal logic programming,linear constraint,script language,temporal logic programming language,smt-lib2.0 script language,authoring languages,msvl,temporal logic,state programs,linear constraint statement,state program,linear constraints,logic programming,noise measurement,optimization,semantics

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要