Description: Mungo: Java front-end tool used to statically check the order of method calls. It is implemented using the JastAdd framework. A protocol definition is described as a sequence of method calls, the order of which determines the validity of the object protocol. A typestate file containing this protocol definition is defined and associated to a class. StMungo: Java-based tool used to translate Scribble local protocol specifications into typestate specifications.It is implemented using the ANTLR v4.5 framework.

Developed at: UGLA

Contacts: ornela.dardha@glasgow.ac.uk

Available at: https://bitbucket.org/abcd-glasgow/mungo-tools/src/master/