search

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5 stars 2 forks source link

Add back the escrow (faulty version+correct version) #92

Closed mojtaba-eshghie closed 2 weeks ago

mojtaba-eshghie commented 2 weeks ago

We had this escrow in our previous version;