涂鸦：涂鸦检测工具

【文件属性】：
文件名称：涂鸦：涂鸦检测工具
文件大小：344KB
文件格式：ZIP
更新时间：2021-02-05 05:15:14
language ethereum smart-contracts solidity scribble 用于基于属性的测试的Solidity运行时验证工具。 原理与设计目标 Scribble规范语言的设计从几种现有语言中汲取了灵感，随着我们在使用它方面获得更多经验，我们希望该语言会逐渐发展。 我们依靠以下原则和设计目标来指导语言发展： 规格易于开发人员和审核人员理解 规格易于解释 可以使用现成的分析工具有效地检查规格 少量的核心规范结构足以表达和推理出更高级的结构 我们知道，这将使表达某些属性变得困难或不可能。 我们鼓励用户在遇到此类属性时与他们联系。 但是，支持所有可以想象的财产并不是我们的意愿。 如果Scribble能够捕获用户要表达的属性的95％，我们认为这是巨大的成功。 用法 使用np