2015/03/15 by Ian Cassar, Adrian Francalanza, Simon Said · 5 citations
Computer Science · #Concurrency #Correctness #Erlang (programming language) #Execution time #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.SE
paper · pdf · doi:10.4204/eptcs.178.1
published in Electronic Proceedings in Theoretical Computer Science 178, 1-8 (Open Publishing Association) · In Proceedings FESCA 2015, arXiv:1503.04378
openalex publication_date 2015/03/15 · arxiv created 2015/03/17 · arxiv updated 2015/03/18 · openalex created_date 2016/06/24 · openalex updated_date 2026/08/05
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.