calculate and analyse a kripke model for the web