RE: Formal Verification of Smart Contracts and Wren by knircky

witnesses

View this thread on: hive.blog | peakd.com | ecency.com

steem · @knircky · Aug 23 '16

Thank you for this post. I was not aware of this.

`author`	knircky
`permlink`	re-dana-edwards-formal-verification-of-smart-contracts-and-wren-20160823t044847085z
`category`	steem
`json_metadata`	{"tags":["steem"]}
`created`	2016-08-23 04:48:45
`last_update`	2016-08-23 04:48:45
`depth`	1
`children`	0
`last_payout`	2016-09-22 18:41:27
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.000 HBD
`curator_payout_value`	0.000 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	49
`author_reputation`	212,905,587,244,262
`root_title`	"Formal Verification of Smart Contracts and Wren"
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	946,116
`net_rshares`	0

Help/Feedback