Timeline for What is formal verification, and why is it important for smart contracts?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2018 at 21:14 | review | Late answers | |||
| Mar 20, 2018 at 2:41 | |||||
| Mar 19, 2018 at 20:56 | history | answered | Kevin Larson | CC BY-SA 3.0 |