Systematic Program Development Group

The Systematic Program Development Group (SPD) was a research group in the MIT Laboratory for Computer Science. In the Fall of 1996, it merged with the Telemedia Networks and Systems (TNS) group to form the Software Devices and Systems group, which became the Networks and Mobile Systems (NMS) group in March 2000.

Much of SPD's work centered around the Larch project, the aim of which was to facilitate the timely development of high-quality software and hardware through the practical application of formal methods.

Old SPD Pages

Other Pages

Last modified, January 11, 2001