108 search results - page 1 / 22 » Verifying Design with Proof Scores |
VSTTE
2005
Springer
14 years 4 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
ASPDAC
2008
ACM
13 years 12 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
IJNSEC
2008
13 years 11 months ago
2008
The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and...