Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive]
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive (Proof Supported Model Checking (w/o termination)) 166Kb |
| ZIP Archive (Proof Supported Model Checking) 172Kb |
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
| Item Type: | Rodin Archive |
|---|---|
| Subjects: | Tool developments > Model checking Event-B Methodology > Proof and model checking |
| ID Code: | 152 |
| Deposited By: | Jens Bendisposto |
| Deposited On: | 21 Sep 2009 16:42 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
