The Larch/C++ effort has the following goals.
The current status of Larch/C++ is that the language has a semantics that is mostly settled. There is a checker that available now, which can be obtained as follows.
http://www.cs.iastate.edu/~leavens/larchc++.html
file://ftp.cs.iastate.edu/pub/larchc++/
The current checker does not do type checking. We are hoping that will be ready by the end of 1997.