3147 search results - page 1 / 630 » Open-Source Model Checking |
ENTCS
2006
13 years 7 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
PST
2008
13 years 9 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
ICDE
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- Despite the best intentions of disk and RAID manufacturers, on-disk data can still become corrupted. In this paper, we examine the effects of corruption on database mana...
SE
2007
13 years 9 months ago
2007
: Open source software has gained a lot of well-deserved attention during the last few years. Eclipse is one of the most successful open source communities providing an open develo...
WEBI
2005
Springer
14 years 28 days ago
2005
Springer
Internet search has a strong business model that permits a free service to users, so it is difficult to see why, if at all, there should be open source offerings as well. This pa...