Proof Rules for VDM-SL

  • Hansen, Bo Stig (Project Manager)

    Project Details


    The project concerns formulation of a set of proof rules for proving properties about specifications written in the specification language VDM-SL. Specific results in 1996 concern proof rules for so-called underdetermined expressions. Such expressions have a fixed value which is not completely determined but delimited by a set of possible values.
    Effective start/end date01/01/199401/02/1996