153 search results - page 1 / 31 » Checkbochs: Use Hardware to Check Software |
CORR
2006
Springer
13 years 4 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
DSN
2005
IEEE
13 years 10 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
CODES
2006
IEEE
13 years 11 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...