Is there any work that models the protocol implementation (i.e., protocol's source code in standard programming languages) to verify the functional correctness of the protocol? Thanks.
--
You received this message because you are subscribed to the Google Groups "tamarin-prover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tamarin-prove...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tamarin-prover/102fda5d-1694-49e4-b9f7-7910dd68ddbcn%40googlegroups.com.