Skip to main content

1 Result(s)

within Conference Paper Remove this filter Mohammadsadegh Dalvandi Remove this filter Theory of Computation Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B

    The guarded atomic action model of Event-B allows it to be applied to a range of systems including sequential, concurrent and distributed systems. However, the lack of explicit sequential structures in Event-B...

    Mohammadsadegh Dalvandi, Michael Butler… in Formal Methods. FM 2019 International Work… (2020)