Invariants and contract monitoring
Why do you think that https://github.com/fused-effects/fused-effects is a good alternative to control-invariants
Invariants and contract monitoring
Why do you think that https://github.com/fused-effects/fused-effects is a good alternative to control-invariants