issues
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
More organized base monitor class
#67
Closed
mojtaba-eshghie
closed
6 months ago
mojtaba-eshghie
commented
6 months ago
We should have the following classes:
[x] Top level monitor class using the proceeding classes
[x] Translator class
[x] Activity executor class
[x] Watchpost class
We should have the following classes: