Work on new event sources for detectEr

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.

Author dc:creator

• Guðmundur Stefánsson 1992-

Contributors dc:contributor

• Háskólinn í Reykjavík

• Tölvunarfræði
• Meistaraprófsritgerðir
• Forritun
• Computer science
• Programming (Electronic computers)

Language dc:language.iso

en

Handle dc:identifier.uri

http://hdl.handle.net/1946/28740

OAI identifier oai:identifier

oai:skemman.is:1946/28740