2584 search results - page 353 / 517 » On the Forward Checking Algorithm |
TOPLAS
2008
15 years 26 days 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...
119
Voted
LPAR
2010
Springer
15 years 10 days 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...
153
click to vote
PERCOM
2010
ACM
15 years 9 days 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 ...
123
click to vote
CDC
2009
IEEE
15 years 8 days 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...
124
Voted
FORTE
2009
15 years 6 days 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...