Behavioral Interface Speci cation Languages

  title={Behavioral Interface Speci cation Languages},
  author={John Hatcli and Gary T. Leavens and K. Rustan M. Leino and Peter M{\"u}ller},
speci cations are not a ected by changes of implementation details. In particular, clients that rely only on abstract speci cations need not be re-veri ed when the implementation of a module changes. Abstract speci cations tend to be simpler to write, read, and understand than implementation-dependent speci cations because they hide certain complications… CONTINUE READING