There are two currently available tools that you should have to work with Larch/C++: the Larch/C++ checker and the LSL checker. Both of these tools come with examples and documentation. Also available is the Larch Prover (LP), which can help debug LSL traits, and could be useful in proving properties of Larch/C++ specifications or in program verification.
The following describes how to obtain these tools, and how to use them.
Go to the first, previous, next, last section, table of contents.