A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Improving Runtime Overheads for detectEr
2015
Electronic Proceedings in Theoretical Computer Science
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis.
doi:10.4204/eptcs.178.1
fatcat:j6l22bkdovfsvfvu6e4qrprpmm