Project for 'Model checking in software engineering'