Skip to main content

2 Result(s)

within Vitaly Savicks Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Co-simulation Environment for Rodin: Landing Gear Case Study

    This work in progress presents a prototype multi-simulation environment for the Rodin platform that enables import, co-modelling and co-simulation of dynamic models and formal Event-B specifications, which can...

    Vitaly Savicks, Michael Butler, John Colley in ABZ 2014: The Landing Gear Case Study (2014)

  2. No Access

    Chapter and Conference Paper

    Verification of UML Models by Translation to UML-B

    UML-B is a ‘UML like’ notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Ro...

    Colin Snook, Vitaly Savicks, Michael Butler in Formal Methods for Components and Objects (2012)