[Verifpal] Incrementing a constant

Friedrich Wiemer friedrich.wiemer at rub.de
Thu Feb 27 10:58:13 CET 2020


Hi,

does Verifpal support incrementing a constant, something like the following?

> generates Nonce
> Nonce_b = Nonce + 1

Best,
Friedrich

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20200227/5a95d9ee/attachment.htm>


More information about the Verifpal mailing list