@misc{deploy152,
           title = {Proof Assisted Model Checking for B},
          author = {Jens Bendisposto and Michael Leuschel},
             url = {http://deploy-eprints.ecs.soton.ac.uk/152/},
        abstract = {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}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>