Description: It synthesises Erlang monitors from mu-HML specifications and instruments them with the system under scrutiny

Developed at: UOM

Contacts: duncan.attard.01@um.edu.mt, ian.cassar.10@um.edu.mt, afra1@um.edu.mt

Available at: https://bitbucket.org/duncanatt/detecter-lite https://bitbucket.org/casian/adapter https://bitbucket.org/casian/detecter2.0