ERCx Property testing for ERC tokens. DecentMon An OCaml Benchmark for Decentralized Monitoring MiDroid Leveraging Monitoring on Android BISM Binary Instrumentation for Software Monitoring THEMIS A Benchmark for Evaluating Decentralised Monitoring Algorithms of Decentralised Specifications
