276 search results - page 19 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
109
click to vote
RC
2002
15 years 29 days ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
134
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
173
click to vote
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
136
click to vote
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...