Behavioral Interface Speci cation Languages

@inproceedings{Hatcli2010BehavioralIS,
  title={Behavioral Interface Speci cation Languages},
  author={John Hatcli and Gary T. Leavens and K. Rustan M. Leino and Peter M{\"u}ller},
  year={2010}
}
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