2488 search results - page 280 / 498 » An improvement in formal verification |
112
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
IFL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
111
click to vote
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
117
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
LREC
2008
15 years 3 months ago
2008
This paper presents the results of a joint effort of a group of multimodality researchers and tool developers to improve the interoperability between several tools used for the an...