is Íslenska en English

Lokaverkefni (Meistara)

Háskólinn í Reykjavík > Tæknisvið / School of Technology > MSc Tölvunarfræðideild / Department of Computer Science >

Vinsamlegast notið þetta auðkenni þegar þið vitnið til verksins eða tengið í það: http://hdl.handle.net/1946/28740

Titill: 
  • Titill er á ensku Work on new event sources for detectEr
Námsstig: 
  • Meistara
Útdráttur: 
  • Útdráttur er á ensku

    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.

Styrktaraðili: 
  • The Icelandic Research Fund
Samþykkt: 
  • 31.8.2017
URI: 
  • http://hdl.handle.net/1946/28740


Skrár
Skráarnafn Stærð AðgangurLýsingSkráartegund 
m-sc-thesis-final.pdf349.25 kBOpinnHeildartextiPDFSkoða/Opna