An Empirical Investigation of the Effect of Formal Specifications on Program Diversity

Formal specification languages are increasingly being employed as an aid in the design and implementation of highly reliable systems. Recent experimental evidence indicates that the syntax and semantics associated with a formal specification language can have a large effect on the subsequent program version. This paper analyses the effect formal specification languages have on program development by examining nine diverse versions of a communication protocol created using three different formal specification languages.