2020年9月6日
用C++生成solidity语言描述的buchi自动机的初级经验
摘要： 我的项目rvtool(https://github.com/Zeraka/rvtool)中增加了生成solidity语言格式的监控器的模块。 solidity特殊之处在于，它是运行在以太坊虚拟机环境中的。EVM和环境是隔离的，因此无法直接读取文件。所以rvtool中通过读取LTL文本生成监控器的方式 阅读全文
posted @ 2020-09-06 07:32 goto2091 阅读(291) 评论(0) 推荐(0)