Others Working on JML Tools

Besides the people working at Iowa State, there are several groups and individuals working on JML. The ones we know about are the following.

JML is an open project, and we welcome the participation of other groups. If your group is working on JML but not listed above, please send an email to Gary Leavens (leavens@eecs.ucf.edu).

Last modified Friday, December 10, 2021.