COMP2214 - Lecture 15 - Verification in Dafny

LoadingLoading previews...
Handout
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0 		Download (102kB)
    Handout
    Handout
    1. Absolute value
    1. Absolute value
    2. Absolute value using pure function
    2. Absolute value using pure function
    3. Factorial
    3. Factorial
    4. Fibonacci
    4. Fibonacci
    1
    2
    8 files in this resource

    COMP2214 - Lecture 15 - Verification in Dafny

    Verification in Dafny

    Added By:
    Dr Son Hoang
    Date Added: 16 Mar 2019 11:32
    Creators Name:
    Dr Son Hoang
    Tags: software engineering, formal methods
    Viewing permissions: University
    Course codes: COMP2214
    Link: http://edshare.soton.ac.uk/id/eprint/19864
    Downloads & Views
    View Item

    Toolbox

    There are no actions available for this resource.

    Collection(s)