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
Last modified, January 11, 2001