57 citations · 195 across the 27 of their papers we have counts for
1 paper · 2 filters
Ian Cassar, Adrian Francalanza, Simon Said
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement…