The benchmarks were provided by Nicolas Schnepf and are used in the paper:
"Automated Verification of Security Chains in Software-Defined Networks with Synaptic"
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
The benchmarks were provided by Nicolas Schnepf and are used in the paper:
"Automated Verification of Security Chains in Software-Defined Networks with Synaptic"