How Tamarin Prover parallelize its proof search
19 views
Skip to first unread message
Canh Do Minh
May 23, 2023, 11:06:26 PMMay 23
to tamarin-prover
Dear Tamrin Prover Maintainers,
I am Canh from JAIST in Japan.
I am interested in how to parallelize the proof search in Tamarin prover.
However, I could not find any document for it.
Could you please send me a document or a short description how it was done?
Looking forward your reply.
Thank you.
Best regards,
Canh Minh Do
I am Canh from JAIST in Japan.
I am interested in how to parallelize the proof search in Tamarin prover.
However, I could not find any document for it.
Could you please send me a document or a short description how it was done?
Looking forward your reply.
Thank you.
Best regards,
Canh Minh Do
Reply all
Reply to author
Forward
0 new messages