4513 search results - page 101 / 903 » Logic programming with satisfiability |
145
click to vote
LPAR
1992
Springer
15 years 7 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
121
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
130
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
143
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
96
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...