title: Proof Assisted Model Checking for B
creator: Bendisposto, Jens
creator: Leuschel, Michael
subject: Model checking
subject: Event-B
subject: Proof and model checking
description: 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
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/152/2/pomc_paper-wo_termination.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/152/3/pomc_paper.zip
identifier:   Bendisposto, Jens and Leuschel, Michael   Proof Assisted Model Checking for B.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/152/