Skip to main content

1 Result(s)

within Logics and Meanings of Programs Remove this filter Operating Systems Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Software Engineering Remove this filter Colin Snook Remove this filter Chapter Remove this filter Conference Paper Remove this filter

and

  1. 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)