TY  - GEN
ID  - deploy152
UR  - http://deploy-eprints.ecs.soton.ac.uk/152/
A1  - Bendisposto, Jens
A1  - Leuschel, Michael
TI  - Proof Assisted Model Checking for B
N2  - 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
AV  - public
ER  -

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