Summary
This deliverable will report the details of the extensions and optimizations of the verification techniques and tools for dynamically reconfigurable systems.
More information & hyperlinks