{"id":{"repo_id":"reykjavik","oai_identifier":"oai:skemman.is:1946/28740"},"canonical_url":"https://search.dev.ndltd.org/etd/reykjavik/oai:skemman.is:1946/28740","repository":{"repo_id":"reykjavik","name":"Reykjavík University","base_url":"https://skemman.is/oai/request"},"display":{"title":"Work on new event sources for detectEr","abstract":"detectEr is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes work that was done to allow detectEr to receive events from new sources, including reading events from a textfile, and listening for events on a TCP port. This change opens the door for detectEr to verify non-Erlang programs, and that is demonstrated by showing how detectEr can now be used to verify communications between an Erlang client and a Java server.","abstract_html":"detectEr is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes work that was done to allow detectEr to receive events from new sources, including reading events from a textfile, and listening for events on a TCP port. This change opens the door for detectEr to verify non-Erlang programs, and that is demonstrated by showing how detectEr can now be used to verify communications between an Erlang client and a Java server.","abstract_has_math":false,"creators":["Guðmundur Stefánsson 1992-"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":["Háskólinn í Reykjavík"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-08-31T09:17:00Z","date_published":"2017-08-31T09:17:00Z","updated_at":"2026-07-27T20:37:18Z","subjects":["Tölvunarfræði","Meistaraprófsritgerðir","Forritun","Computer science","Programming (Electronic computers)"],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1946/28740","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Háskólinn í Reykjavík"]},{"key":"dc:creator","label":"Author","values":["Guðmundur Stefánsson 1992-"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2017-08-31T09:17:00Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2017-08-31T09:17:00Z"]},{"key":"dc:date.issued","label":"Date","values":["2017-08-31T09:17:00Z"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Tölvunarfræði","Meistaraprófsritgerðir","Forritun","Computer science","Programming (Electronic computers)"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1946/28740"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["detectEr is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes work that was done to allow detectEr to receive events from new sources, including reading events from a textfile, and listening for events on a TCP port. This change opens the door for detectEr to verify non-Erlang programs, and that is demonstrated by showing how detectEr can now be used to verify communications between an Erlang client and a Java server."]},{"key":"dc:title","label":"Title","values":["Work on new event sources for detectEr"]}]}],"canonical_facts":{"dc:contributor":["Háskólinn í Reykjavík"],"dc:creator":["Guðmundur Stefánsson 1992-"],"dc:date.accessioned":["2017-08-31T09:17:00Z"],"dc:date.available":["2017-08-31T09:17:00Z"],"dc:date.issued":["2017-08-31T09:17:00Z"],"dc:description.abstract":["detectEr is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes work that was done to allow detectEr to receive events from new sources, including reading events from a textfile, and listening for events on a TCP port. This change opens the door for detectEr to verify non-Erlang programs, and that is demonstrated by showing how detectEr can now be used to verify communications between an Erlang client and a Java server."],"dc:identifier.uri":["http://hdl.handle.net/1946/28740"],"dc:language.iso":["en"],"dc:subject":["Tölvunarfræði","Meistaraprófsritgerðir","Forritun","Computer science","Programming (Electronic computers)"],"dc:title":["Work on new event sources for detectEr"],"dc:type":["Thesis"]},"updated_at":"2026-07-27T20:37:18Z"}