8 search results - page 2 / 2 » ictac 2010 |
132
click to vote
ICTAC
2010
Springer
15 years 11 days ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
209
click to vote
ICTAC
2010
Springer
15 years 11 days ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
126
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...