2584 search results - page 353 / 517 » On the Forward Checking Algorithm |
TOPLAS
2008
14 years 8 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
105
click to vote
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
81
Voted
CDC
2009
IEEE
14 years 8 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
83
Voted
FORTE
2009
14 years 8 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...