Deploy Repository: No conditions. Results ordered -Date, Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:39 +0000Wed, 17 Jan 2018 12:23:39 +0000en A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
http://deploy-eprints.ecs.soton.ac.uk/194/
Turner, Edd and Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010. (In Press) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models
http://deploy-eprints.ecs.soton.ac.uk/146/
Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (In Press) SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.
http://deploy-eprints.ecs.soton.ac.uk/133/
Plagge, Daniel and Leuschel, Michael and Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2009) SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook. In: AFM09 (Automated Formal Methods), 27 June 2009, Grenoble, France. (In Press) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool
http://deploy-eprints.ecs.soton.ac.uk/44/
Leuschel, Michael and Fontaine, Marc (2008) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool. In: Proceedings of ICFEM 2008. Springer-Verlag, pp. 278-297. Easy Graphical Animation and Formula Visualisation for Teaching B
http://deploy-eprints.ecs.soton.ac.uk/47/
Leuschel, Michael and Samia, Mireille and Bendisposto, Jens and Samia, Mireille (2008) Easy Graphical Animation and Formula Visualisation for Teaching B. In: The B Method : From Research to Teaching, June 16, 2008, Nantes, France. La validation de modèles Event-B avec le plug-in ProB pour RODIN
http://deploy-eprints.ecs.soton.ac.uk/46/
Bendisposto, Jens and Leuschel, Michael and Ligot, Olivier and Samia, Mireille (2008) La validation de modèles Event-B avec le plug-in ProB pour RODIN. TSI . pp. 1065-1084. ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
http://deploy-eprints.ecs.soton.ac.uk/45/
Spermann, Corinna and Leuschel, Michael (2008) ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. In: Proceedings of TASE 2008. IEEE Press, pp. 15-22. ProB: An Automated Analysis Toolset for the B Method
http://deploy-eprints.ecs.soton.ac.uk/5/
Leuschel, Michael and Butler, Michael (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203. The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications
http://deploy-eprints.ecs.soton.ac.uk/43/
Leuschel, Michael (2008) The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications. In: Proceedings ABZ'2008. Springer-Verlag, pp. 4-23. Automated Property Verification for Large Scale B Models
http://deploy-eprints.ecs.soton.ac.uk/149/
Leuschel, Michael and Falampin, Jérôme and Fabian, Fritz and Daniel, Plagge Automated Property Verification for Large Scale B Models. In: Proceedings FM 2009. Springer-Verlag. (In Press) Proof Assisted Model Checking for B
http://deploy-eprints.ecs.soton.ac.uk/152/
Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive] Refinement-Animation for Event-B - Towards a Method of Validation
http://deploy-eprints.ecs.soton.ac.uk/186/
Hallerstede, Stefan and Leuschel, Michael and Plagge, Daniel Refinement-Animation for Event-B - Towards a Method of Validation. In: Proceedings ABZ 2010. LNCS . Springer-Verlag. (In Press)