{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T19:55:57Z","timestamp":1724874957221},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Ensuring formal correctness for actor-based, concurrent systems is a difficult task, pri- marily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Run- time Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.<\/jats:p>","DOI":"10.29007\/7lrd","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T12:31:26Z","timestamp":1515760286000},"source":"Crossref","is-referenced-by-count":1,"title":["A Suite of Monitoring Tools for Erlang"],"prefix":"10.29007","author":[{"given":"Ian","family":"Cassar","sequence":"first","affiliation":[]},{"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[]},{"given":"Duncan","family":"Attard","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Aceto","sequence":"additional","affiliation":[]},{"given":"Anna","family":"Ingolfsdottir","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T12:31:28Z","timestamp":1515760288000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/cSzb"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/7lrd","relation":{},"ISSN":["2515-1762"],"issn-type":[{"value":"2515-1762","type":"print"}],"subject":[]}}