from http://en.wikipedia.org/wiki/Larch_(disambiguation)The Larch family of formal specification languages are intended for the precise specification of computing systems. They allow the clean specification of computer programs and the for…

The model-based approach to software specification is arguably the most popular style of formal software specification going today, both VDM and Z being based on this style [Hayes, Jones • Nicholis]. A model-based specification provides a …