S
SMASHUP
This project aims to automate the translation of hardware/software co-designs into a ProVerif specification that ProVerif can handle.
-
Florian Lugou authored112f840e
| Name |
Last commit
|
Last update |
|---|---|---|
| examples | ||
| parser | ||
| LICENSE_CECILL_ENG | ||
| LICENSE_CECILL_FR | ||
| README.md | ||
| smashup.py |