391 search results - page 79 / 79 » Efficient Self-Reconfigurable Implementations Using On-chip ... |
ICTAC
2010
Springer
13 years 4 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 ...