"152","Proof Assisted Model Checking for B","The archives contain the models for proof supported model checking. For detailed description see    Bendisposto, Leuschel: Proof Assisted Model Checking for B  Proceedings of International Conference on Formal Engineering   Methods (ICFEM 09), LNCS, to appear     1) pomc_paper.zip: Contains the model that is guaranteed to terminate, but assumes finite(STATES)    2) pomc paper-wo_termination.zip: Contains the model without the assumption, but does not guarantee termination","http://deploy-eprints.ecs.soton.ac.uk/152/","Bendisposto, Jens and Leuschel, Michael","UNSPECIFIED","       <span class=\"person_name\">Bendisposto, Jens</span> and <span class=\"person_name\">Leuschel, Michael</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/152/\"><em>Proof Assisted Model Checking for B.</em></a>       [Rodin Archive]           ","bendisposto@cs.uni-duesseldorf.de,leuschel@cs.uni-duesseldorf.de",""