#kobeissi

2020-9-10 4:29
在Symbol Software博客上,我最近发表了一篇文章庆祝Verifpal成立一周年,并详细讨论了Verifpal在过去一年中在三个方面取得的成就:可用性、特性和可靠性。我还讨论了我如何看待Verifpal在协议分析领域的定位,以及它的未来目标,以便人们了解Verifpal的目标是什么(更重要的是,它不打算做什......