Vinsamlegast notið þetta auðkenni þegar þið vitnið til verksins eða tengið í það: http://hdl.handle.net/1946/28740
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.