src/avatartranslator/AvatarTimerOperator.java · 216efbb9480149c917d8a97399b9507aff63228c · mbe-tools / TTool · GitLab

Snippets Groups Projects

9 years ago
cc582c07
Generation of ProVerif typed pi calculus, modification of Avatar model for... · cc582c07
Florian Lugou authored 9 years ago
```
Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
```
cc582c07

History
Generation of ProVerif typed pi calculus, modification of Avatar model for...
Florian Lugou authored 9 years ago
```
Generation of ProVerif typed pi calculus, modification of Avatar model for easing translation to ProVerif
```

ModelsForZ3Tests NaN GiB