Skip to main content

1 Result(s)

within Computer Science Remove this filter Logics and Meanings of Programs Remove this filter Mohammadsadegh Dalvandi Remove this filter Chapter Remove this filter

and
Your search also matched 1 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Verifiable Code Generation from Scheduled Event-B Models

Include preview-only content

  1. Chapter and Conference Paper

    From Event-B Models to Dafny Code Contracts

    The constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach t...

    Mohammadsadegh Dalvandi, Michael Butler… in Fundamentals of Software Engineering (2015)

    Download PDF (232 KB)