4 ms·
Are you aware of Pi-calculus and ProVerif? ProVerif sounds to address at least some of your requirements. Links: - https://en.wikipedia.org/wiki/%CE%A0-calculus
by Jhsto 6y ago
Are you aware of Pi-calculus and ProVerif? ProVerif sounds to address at least some of your requirements. Links:
- https://en.wikipedia.org/wiki/%CE%A0-calculus https://en.wikipedia.org/wiki/%CE%A0-calculus
- https://prosecco.gforge.inria.fr/personal/bblanche/proverif/ https://prosecco.gforge.inria.fr/personal/bblanche/proverif/