1205 search results - page 139 / 241 » Program Extraction from Large Proof Developments |
103
click to vote
ICDCSW
2000
IEEE
15 years 5 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
113
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
110
click to vote
EUROSYS
2009
ACM
15 years 10 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
122
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...