search

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols
GNU General Public License v3.0
17 stars 2 forks source link

Distributed server #6

Closed VincentCheval closed 7 years ago

VincentCheval commented 7 years ago

Stable distributed version that is based on initial distributed jobs creation followed by distributed computation of the jobs generated.