blob: 90b49662530dd56c6982520b2afc168036b32f3f (
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.
|
