phxsql icon indicating copy to clipboard operation
phxsql copied to clipboard

Published 20 hours ago • verified publisher icon Tencent

是否有考虑使用coq之类的办法来检验状态机的正确性？

Open chakpongchung opened this issue 7 years ago • 2 comments

如果没有，不知道作者们是否有兴趣试试？我可能需要一点代码上的navigation help

chakpongchung avatar Sep 18 '17 03:09 chakpongchung

暂时没有计划，欢迎 contribute :smiley:

wodesuck avatar Sep 19 '17 08:09 wodesuck

歪个楼，lz如果对Tencent/paxosstore的verification感兴趣，我可以提供帮助:)

zjyjer avatar Sep 20 '17 05:09 zjyjer