Items where Subject is "Methodology > Proof and model checking"

Grotsev, Denis and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global. ISBN ISBN13: 9781609607470

Iliasov, Alexei and Romanovsky, Alexander (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper). In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan.

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! Technical Report. Newcastle University .

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.

Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press)

Castor Filho, Fernando and Romanovsky, Alexander and Rubira, Cecilia (2009) Improving reliability of cooperative concurrent systems with exception flow analysis. The Journal of Systems and Software, 82 . pp. 874-890.

Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer.

Fitzgerald, John S and Jones, Cliff B (2008) The connection between two ways of reasoning about partial functions. Information Processing Letters, 107 (3-4). pp. 128-132.

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)

Mazzara, Manuel Design, Modelling and Analysis of a Workflow Reconfiguration. In: PNSE’11 – Petri Nets and Software Engineering.

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive]

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)