%A Jens Bendisposto
%A Michael Leuschel
%T Proof Assisted Model Checking for B
%X 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
%L deploy152

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