blob: 3d2ab769accbe2287e2b0ac3d749fabfecaff29f (
plain)
1
2
3
|
rsltc provides type-checking, pretty-printing, generation of confidence
conditions, showing module dependencies, translation to Standard ML, to
C++, and to PVS, and translation to RSL from UML class diagrams.
|
