?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Proof+Assisted+Model+Checking+for+B&rft.creator=Bendisposto%2C+Jens&rft.creator=Leuschel%2C+Michael&rft.subject=Model+checking&rft.subject=Event-B&rft.subject=Proof+and+model+checking&rft.description=The+archives+contain+the+models+for+proof+supported+model+checking.+For+detailed+description+see%0D%0A%0D%0ABendisposto%2C+Leuschel%3A+Proof+Assisted+Model+Checking+for+B%0D%0AProceedings+of+International+Conference+on+Formal+Engineering+%0D%0AMethods+(ICFEM+09)%2C+LNCS%2C+to+appear+%0D%0A%0D%0A1)+pomc_paper.zip%3A+Contains+the+model+that+is+guaranteed+to+terminate%2C+but+assumes+finite(STATES)%0D%0A%0D%0A2)+pomc+paper-wo_termination.zip%3A+Contains+the+model+without+the+assumption%2C+but+does+not+guarantee+termination&rft.type=Rodin+Archive&rft.type=NonPeerReviewed&rft.format=application%2Fzip&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F152%2F2%2Fpomc_paper-wo_termination.zip&rft.format=application%2Fzip&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F152%2F3%2Fpomc_paper.zip&rft.identifier=++Bendisposto%2C+Jens+and+Leuschel%2C+Michael+++Proof+Assisted+Model+Checking+for+B.++%5BRodin+Archive%5D+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F152%2F