Skip to main content

2 Result(s)

within Algorithm Analysis and Problem Complexity Remove this filter Logics and Meanings of Programs 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

    Refinement of Statecharts with Run-to-Completion Semantics

    Statechart modelling notations, with so-called ‘run to completion’ semantics and simulation tools for validation, are popular with engineers for designing systems. However, they do not support formal refinemen...

    Karla Morris, Colin Snook, Thai Son Hoang… in Formal Techniques for Safety-Critical Syst… (2019)

  2. No Access

    Chapter and Conference Paper

    Analysing Security Protocols Using Refinement in iUML-B

    We propose a general approach based on abstraction and refinement for constructing and analysing security protocols using formal specification and verification. We use class diagrams to specify conceptual syst...

    Colin Snook, Thai Son Hoang, Michael Butler in NASA Formal Methods (2017)