《表4 案例2实验结果输出》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《带时间约束的智能合约验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

其中，buyed表示用户是否购买保险，是一个布尔变量；Paid＿fee表示保险公司是否存了保费。合约利用Oracle获取外部飞机情况，这一步本文模拟飞机降落时间和预先设定的降落时间flight＿time，比较这2个时间后给变量flight＿not＿delay赋值。insurace＿balance、user＿balance分别代表保险公司和用户账户，before＿insurace＿balance、before＿user＿balance用来记录更新之前的值。为了便于验证将合约中的保费简化为1 000，将购买保险的费用设定为15，然后给出最后的验证结果如表4所示。