Introduce examples that involve use of multiset notation in properties
cascremers opened this issue · comments
Illustrate use for counting/comparisons and (multi)subset.
tamarin-prover / manual
Tamarin prover manual: source files
Tamarin prover manual: source files
cascremers opened this issue · comments
Illustrate use for counting/comparisons and (multi)subset.