88 search results - page 2 / 18 » Functional Reachability |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
ICCI
1993
15 years 1 months ago
1993
86
Voted
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
71
Voted
MICAI
2007
Springer
15 years 3 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...