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...

Following the trends of IT use in education we propose four main principles of educational application development: anytime-anywhere access (including access for mobile devices); user-generated content; assigning users an active role inside the platform; creating a correlation between natural...