VDM-SL Definition

  • Hansen, Bo Stig (Project Manager)
  • Bruun, Hans (Project Participant)

    Project Details


    Definition of the specification language VDM-SL. At the department, the work has focussed on the so-called static semantics, which defines certain forms of consistency of VDM-SL specifications. These forms of consistency includes a notion of type consistency which can be checked automatically.
    Effective start/end date01/01/199431/12/1997