3342 search results - page 472 / 669 » Automating Abstract Interpretation |
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we present a method for supplementing incomplete cases with information from other cases within a case base. The acquisition of complete and correct cases i...
114
click to vote
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
109
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
117
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
144
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...