88 search results - page 2 / 18 » Functional Reachability |
CAV
2009
Springer
14 years 7 months ago
2009
Springer
ICCI
1993
13 years 10 months ago
1993
FOSSACS
2007
Springer
14 years 16 days 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
13 years 10 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...
MICAI
2007
Springer
14 years 15 days 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...