1356 search results - page 3 / 272 » The ideal of verified software |
JC
2000
13 years 9 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
FAC
2006
13 years 9 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
ICECCS
2007
IEEE
14 years 1 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....
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...