2514 search results - page 59 / 503 » The use of industrial-strength formal methods |
266
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
158
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
182
click to vote
FCA
2005
Springer
15 years 11 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
164
click to vote
HICSS
2009
IEEE
16 years 29 days ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
173
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...