|
|
|
|
|
|
by nl
1344 days ago
|
|
|
Hey Matt! There is some interesting work done in this area. For example https://reach.sh/ lets you write formally verified smart contracts. I guess this is helpful with some classes of bugs. But I'm not sure it would with most. For example it is unclear if it would have caught this problem since (from the vague description!) it appears it would have needed some economic modelling to catch. |
|
|