4340 search results - page 92 / 868 » Formal Methods and Cryptography |
110
Voted
SAS
2010
Springer
15 years 2 months ago
2010
Springer
148
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
110
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
136
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...