Integration of Linear Constraints with a Temporal Logic Programming Language

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 p...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2013 International Symposium on Theoretical Aspects of Software Engineering S. 157 - 164
Hauptverfasser:	Qian Ma, Zhenhua Duan, Mengfei Yang
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.07.2013
Schlagworte:	Arrays Logic programming Noise measurement Optimization Semantics Syntactics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!