[Verifpal] Verifpal Improvement Comments

[Jingnan Dong]

Dear verifpal official web developer.
I am very pleased to have come across such an excellent software like yours - Verifpal, but I have a request, I would like Verifpal to give a simple report on each query after executing it successfully, and report an overall report, similar to the one that will appear on the results of Avispa(SPAN - Security Protocol Animator for AVISPA (irisa.fr)) software. As shown in Figure 1, the report of Scyther-compromise(Scyther tool (cispa.io)) is shown in Figure 2. If you have added this feature in the new version, please send me an email to inform me of the following, because I would like to paste the query report of the Verifpal program that I designed and wrote into my paper to facilitate the reviewers to evaluate my proposal. In addition, the Verifpal program often fails to produce results for a long time due to space explosion when it encounters a large number of hash operations, please correct or optimize this shortcoming.


Figure 1 Avispa's run results report.

Figure 2 Verification report of scyther-compromise.
Your sincereley!
Jingnan Dong
Email:d190201003 at stu.cqupt.edu.cn
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20220710/52093038/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 35019F7C at 15DE2858.2C4ECA62
Type: application/octet-stream
Size: 69190 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20220710/52093038/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 32FBA482 at BC556478.2C4ECA62
Type: application/octet-stream
Size: 80514 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20220710/52093038/attachment-0003.obj>