search

FreeAndFair / dvl

The Digital Voter List system—experiments in electronic poll books for Denmark.
Other
6 stars 2 forks source link

install Uppaal #52

Closed kiniry closed 11 years ago

kiniry commented 11 years ago

We plan to continue to specify and verify the protocols of the DVL using Uppaal for the time being.

http://www.uppaal.org/

kiniry commented 11 years ago

Installed version 4.0.13.