Developed in the business sector, where it proved to increase employee motivation, enhance customer support services and overall business efficiency, Knowledge Management found its way to higher education institutions. This paper tries to argument the benefits of using KM principles when...

The model checkers are tools which can be used to verify a given system satisfies a given temporal logic formula. The model is a directed graph where the nodes represent the states of the system and the edges represents the state transitions. The nodes and the edges can be labelled with atomic...