The way forward for DETECTER

Authors
Publication date
1 November 2013
Publisher
University of Malta. Faculty of ICT

Abstract

Monitor correctness is a prerequisite for the adoption of runtime verification as a lightweight formal technique ensuring program correctness. The tool DETECTER is a runtime verification tool synthesizing correct monitors from u-calculus formulas describing safety Erlang properties.peer-reviewe

    Similar works

    Full text

    thumbnail-image

    Available Versions

    OAR@UM

    redirect
    oaioai:www.um.edu.mt:123456789/23...
    Last time updated on 06/12/2017