28 search results - page 1 / 6 » Reasoning with Generic Cases in the Arithmetic of Abstract M... |
MKM
2009
Springer
13 years 11 months ago
2009
Springer
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
FMCAD
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. Having good estimates or even bounds for the error in computing approximations to expressions of the form f(A)v is very important in practical applications. In this paper...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...